Theorem IsLocallyConstant.exists_eq_const

Modification history