Theorem IsLeftRegular.pow

Modification history

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