Theorem pow_ofDual

Modification history

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