Theorem Basis.toDual_linearCombination_right

Modification history