Theorem lowerBounds_prod

Modification history

2026-02-13 04:47
Mathlib/Order/Bounds/Basic.lean
chore: use @[to_dual] in Bounds.Basic (#35208) …
Deleted lowerBounds_prodView on Github →
2025-10-09 17:08
Mathlib/Order/Bounds/Basic.lean
feat(Order/ScottContinuity): Scott continuity on product spaces (#26338) …
Added lowerBounds_prodView on Github →