Theorem IsLocallyConstant.of_constant_on_connected_components

Modification history