Theorem ScottContinuous.prodMk

Modification history

2026-02-03 17:15

Mathlib/Order/ScottContinuity.lean

feat(Order): teach `fun_prop` about `ScottContinuous` and friends (#33941) …

Added ScottContinuous.prodMk View on Github →