Theorem Continuous.comp_continuousOn'

Modification history

2025-03-07 15:46

Mathlib/Topology/ContinuousOn.lean

chore(Topology/ContinuousOn): re-use variables (#22691)

Modified Continuous.comp_continuousOn'View on Github →

2024-02-21 16:46

Mathlib/Topology/ContinuousOn.lean

chore: add some `fun_prop` attributes for continuity (#10769)

Added Continuous.comp_continuousOn'View on Github →