Theorem ScottContinuousOn.fromProd

Modification history

2025-10-09 17:08

Mathlib/Order/ScottContinuity/Prod.lean

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

Added ScottContinuousOn.fromProd View on Github →