Theorem Basis.linearCombination_dualBasis

Modification history