Theorem IsLocallyConstant.comp₂

Modification history