Theorem biSup_prod'

Modification history

2025-07-04 02:24
Mathlib/Order/CompleteLattice/Basic.lean
feat(Order): Add curried versions of `biSup_prod` and `biInf_prod` (#26486) …
Added biSup_prod'View on Github →