Theorem LocallyConstant.congr_fun

Modification history

2024-07-24 23:20
Mathlib/Topology/LocallyConstant/Basic.lean
chore: protect `congr_arg`'s and `congr_fun`'s (#15083) …
Deleted LocallyConstant.congr_funView on Github →
2023-02-07 20:20
Mathlib/Topology/LocallyConstant/Basic.lean
feat: port Topology.LocallyConstant.Basic (#2141)
Added LocallyConstant.congr_funView on Github →