Theorem Basis.sum_repr

Modification history