Theorem Finsupp.sum_ite_self_eq

Modification history