Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_locally_constant.is_clopen_fiber

Modification history

2021-06-22 14:51
src/topology/locally_constant/basic.lean
feat(topology/Profinite/cofiltered_limit): Locally constant functions from cofiltered limits (#7992) …
Added is_locally_constant.is_clopen_fiberView on Github →