Theorem toLex_div

Modification history

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