Theorem IsLocallyConstant.apply_eq_of_isPreconnected

Modification history