Theorem continuous_bool_rng

Modification history

2024-02-15 06:24
Mathlib/Topology/Constructions.lean
feat(Topology/Constructions): add `continuous_bool_rng` (#10513) …
Added continuous_bool_rngView on Github →