Theorem Function.Injective.has_LeftInverse

Modification history