Theorem IsLocallyConstant.iff_eventually_eq

Modification history