Theorem AffineBasis.linear_combination_coord_eq_self

Modification history