mathlib3
97b62c86 - feat(order/upper_lower): More `prod` lemmas (#17747)

Commit

3 years ago

feat(order/upper_lower): More `prod` lemmas (#17747) Transfer more `set` lemmas about `prod` to `upper_set`/`lower_set` lemmas.

Author

YaelDillies

Parents