Theorem LocallyConstant.charFn_eq_zero

Modification history

2023-03-03 19:32
Mathlib/Topology/LocallyConstant/Algebra.lean
feat: port Topology.LocallyConstant.Algebra (#2592)
Added LocallyConstant.charFn_eq_zeroView on Github →