Theorem Finsupp.sum_id_lt_of_lt

Modification history