mathlib3
cab5a456 - refactor(order/directed): use `(≥)` instead of `swap (≤)` (#14474)

Commit

3 years ago

refactor(order/directed): use `(≥)` instead of `swap (≤)` (#14474)

Author

urkud

urkud

Parents

Loading