Theorem Finsupp.total_eq_fintype_total_apply

Modification history