Theorem Function.Surjective.has_RightInverse

Modification history