Theorem pow_toLex

Modification history

2022-11-20 20:44
Mathlib/Algebra/Group/OrderSynonym.lean
feat: port Algebra.Group.OrderSynonym (#651) …
Added pow_toLexView on Github →