Theorem Basis.coe_sumCoords

Modification history