Theorem Function.surjective_of_right_cancellable_Prop

Modification history