Theorem IsRegular.pow_iff

Modification history

2022-12-29 14:17
Mathlib/Algebra/Regular/Pow.lean
feat : port Algebra.Regular.Pow (#1248) …
Added IsRegular.pow_iffView on Github →