Theorem LocallyConstant.ofClopen_fiber_zero
Modification history
2023-11-30 19:19
Mathlib/Topology/LocallyConstant/Basic.lean
chore: rename most lemmas involving clopen to isClopen (#8720) …
Deleted LocallyConstant.ofClopen_fiber_zeroView on Github →