Theorem LocallyConstant.eq_const

Modification history