Theorem Basis.linearCombination_repr

Modification history