Theorem Monotone.upperBounds_image_of_directedOn_prod

Modification history

2025-05-07 09:33
Mathlib/Order/Bounds/Image.lean
feat(Order): directed products and upper bounds (#21493) …
Added Monotone.upperBounds_image_of_directedOn_prodView on Github →