Theorem Function.injective.of_comp_iff

Modification history