Theorem ofDual_inv

Modification history

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