mathlib
3812c1ce - chore(order/lattice): add lemmas about `sup` and `inf` on `prod` (#17040)

Commit

3 years ago

chore(order/lattice): add lemmas about `sup` and `inf` on `prod` (#17040) The lemmas are inspired by the corresponding lemmas for add and mul

Author

eric-wieser

Parents