mathlib3
01118344 - chore(order/with_bot): lemmas about unbot and untop (#18582)

Commit

2 years ago

chore(order/with_bot): lemmas about unbot and untop (#18582)

Author

eric-wieser

eric-wieser

Parents

Loading