Theorem Finsupp.span_eq_range_total

Modification history