Theorem rightInverse_inv

Modification history

2023-10-23 05:48

Mathlib/Algebra/Group/Basic.lean

fix: Make `rightInverse_inv` use `RightInverse`. (#7792) …

Modified rightInverse_inv View on Github →

2022-11-22 07:59

Mathlib/Algebra/Group/Basic.lean

feat: add `fun x ↦ t` syntax (#617)

Modified rightInverse_inv View on Github →

2022-11-13 23:39

Mathlib/Algebra/Group/Basic.lean

chore: fix names in algebra/group (#580) …

Added rightInverse_inv View on Github →