Theorem Function.Injective.comp_injOn

Modification history