Theorem Function.injective.sigma_map_iff

Modification history