Theorem IsLocallyConstant.of_discrete

Modification history