Theorem IsGLB.prod

Modification history

2026-02-13 04:47

Mathlib/Order/Bounds/Basic.lean

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

Deleted IsGLB.prod View on Github →

2025-10-09 17:08

Mathlib/Order/Bounds/Basic.lean

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

Added IsGLB.prod View on Github →