Theorem Function.has_RightInverse.surjective

Modification history