Mathlib v3 is deprecated. Go to Mathlib v4

Theorem inv_eq_iff_eq_inv

Modification history

2023-03-13 12:12
src/algebra/group/basic.lean
refactor(algebra/group/basic): rework lemmas on inv and neg (#17483) …
Added inv_eq_iff_eq_invView on Github →