Theorem upperBounds_prod

Modification history

2026-08-10 08:17

Mathlib/Order/Bounds/Basic.lean

chore(Order/Bounds/Basic): add missing `to_dual` tags (#40040) …

Modified upperBounds_prod View on Github →

2026-02-13 04:47

Mathlib/Order/Bounds/Basic.lean

chore: use @[to_dual] in Bounds.Basic (#35208) …

Modified upperBounds_prod View on Github →

2025-10-09 17:08

Mathlib/Order/Bounds/Basic.lean

feat(Order/ScottContinuity): Scott continuity on product spaces (#26338) …

Added upperBounds_prod View on Github →