Theorem self_ne_inv

Modification history

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