Theorem Span.finsupp_total_repr

Modification history