Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lower_set.prod_self_le_prod_self

Modification history

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