mathlib
0666dd5c - feat(order/bounded): The universal set is unbounded (#12390)

Commit

4 years ago

feat(order/bounded): The universal set is unbounded (#12390) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

vihdzp

Parents