Theorem Basis.toDual_linearCombination_left

Modification history