Theorem Function.Injective.monic_map_iff

Modification history