Theorem pow_toColex

Modification history

2025-10-14 04:17
Mathlib/Algebra/Order/Group/Synonym.lean
feat: group instances on `Colex α` (#30483) …
Added pow_toColexView on Github →