Theorem Finsupp.total_fin_zero

Modification history