Theorem Function.surjective_iff_has_RightInverse

Modification history