Theorem LocallyConstant.mulIndicator_apply_eq_if

Modification history