mathlib
2c53e5ee - chore(order/well_founded): move to a file (#4568)

Commit

5 years ago

chore(order/well_founded): move to a file (#4568) I want to use `order/rel_classes` before `data/set/basic`.

References

Author

urkud

Parents