Theorem Finsupp.apply_total

Modification history