Theorem Function.Injective.sameRay_map_iff

Modification history