Mathlib v3 is deprecated. Go to Mathlib v4

Def lower_set.prod

Modification history

2022-12-05 14:00
src/order/upper_lower.lean
feat(order/upper_lower): More `prod` lemmas (#17747) …
Modified lower_set.prodView on Github →
2022-10-17 04:40
src/order/upper_lower.lean
feat(order/upper_lower): Product of upper sets (#17022) …
Added lower_set.prodView on Github →