Theorem pow_ite

Modification history

2024-01-08 21:36

Mathlib/Algebra/Group/Basic.lean

feat(Algebra/GroupPower): Miscellaneous lemmas (#9388) …

Modified pow_ite View on Github →

2022-12-07 23:03

Mathlib/Algebra/GroupPower/Basic.lean

feat : port Algebra.GroupPower.Basic (#874) …

Added pow_ite View on Github →