Theorem Basis.sumCoords_self_apply

Modification history