Theorem ContinuousOn.preimage_clopen_of_clopen
Modification history
2023-11-30 19:19
Mathlib/Topology/Clopen.lean
chore: rename most lemmas involving clopen to isClopen (#8720) …
Deleted ContinuousOn.preimage_clopen_of_clopenView on Github →2023-10-30 11:10
Mathlib/Topology/Clopen.lean
chore(Topology/Clopen): rename type variables (#7921) …
Modified ContinuousOn.preimage_clopen_of_clopenView on Github →