Theorem IsLocallyConstant.range_finite

Modification history