Theorem Function.LeftInverse_of_surjective_of_RightInverse
Modification history
2022-11-13 23:57
Mathlib/Init/Function.lean
chore: renaming and alignment for various definitions and lemmas (#572)
Deleted Function.LeftInverse_of_surjective_of_RightInverseView on Github →