Theorem inv_ne_self

Modification history

2025-10-17 16:01
Mathlib/Algebra/Group/Torsion.lean
chore(Algebra/Group/EvenFunction): don't import torsion-free modules (#30628) …
Added inv_ne_selfView on Github →