mathlib
ee7cef51 - chore(order/complete_lattice): golf a few proofs

Commit

4 years ago

chore(order/complete_lattice): golf a few proofs Also add `order_dual.complete_semilattice_Inf` and `order_dual.complete_semilattice_Sup`.

References

Author

urkud

Parents