mathlib
4a918fbb - chore(order/complete_lattice): add `supr/infi_of_empty(')` (#3519)

Commit

5 years ago

chore(order/complete_lattice): add `supr/infi_of_empty(')` (#3519)

Author

urkud

urkud

Parents

Loading