Theorem IsLocallyConstant.of_constant_on_preconnected_clopens

Modification history