Theorem ofDual_one

Modification history

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