ByNobleID
    A Univalence Theorem for Nonlinear Mappings: An Elementary Approach | NobleID