Theorem IsLocallyConstant.eq_const

Modification history