mathlib
6632ca20 - feat(algebra/order/group/order_iso): add `order_iso.div_{left,right}` (#18968)

Commit

2 years ago

feat(algebra/order/group/order_iso): add `order_iso.div_{left,right}` (#18968)

Author

urkud

urkud

Parents

Loading