Theorem Finsupp.total_eq_fintype_total

Modification history