mathlib
34826f0d - feat(order/directed): A few more lemmas (#16953)

Commit

3 years ago

feat(order/directed): A few more lemmas (#16953) Simple lemmas about `directed`.

Author

YaelDillies

YaelDillies

Parents

Loading