Theorem Basis.repr_linearCombination

Modification history