Theorem Finsupp.apply_total_id

Modification history