Theorem Basis.sum_dual_apply_smul_coord

Modification history