Theorem Function.Injective.has_left_inverse

Modification history

2022-11-13 23:57

Mathlib/Logic/Function/Basic.lean

chore: renaming and alignment for various definitions and lemmas (#572)

Deleted Function.Injective.has_left_inverse View on Github →

2022-11-02 22:22

Mathlib/Logic/Function/Basic.lean

feat: port Logic.Function.Basic (#511)

Added Function.Injective.has_left_inverse View on Github →