Theorem IsLocallyConstant.comp_continuous

Modification history