Theorem Finsupp.supported_eq_span_single

Modification history