Theorem continuousOn_univ

Modification history

2025-07-05 16:53

Mathlib/Topology/ContinuousOn.lean

chore: rename continuous_iff_continuousOn_univ to continuousOn_univ (#26733) …

Added continuousOn_univ View on Github →