Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lower_set.prod_inf_prod

Modification history

2022-12-05 14:00
src/order/upper_lower.lean
feat(order/upper_lower): More `prod` lemmas (#17747) …
Added lower_set.prod_inf_prodView on Github →