mathlib

9af3e111 - fix(topology/locally_constant/basic)