Theorem Function.Injective.sbtw_map_iff

Modification history