Theorem Set.Finite.continuousOn

Modification history

2024-07-05 17:45
Mathlib/Topology/Separation.lean
feat: make `discrete_of_t1_of_finite` an instance and rename (#14240) …
Added Set.Finite.continuousOnView on Github →