Theorem IsLocallyConstant.iff_is_const

Modification history