Theorem Function.injective.has_LeftInverse

Modification history