Theorem AffineBasis.linear_eq_sumCoords

Modification history