Theorem IsUnit.of_pow_eq_one

Modification history

2025-02-04 15:53
Mathlib/Algebra/Group/Commute/Units.lean
chore: rename isUnit_ofPowEqOne (#21407) …
Added IsUnit.of_pow_eq_oneView on Github →