Theorem IsRegular.pow

Modification history

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