Theorem AffineBasis.coord_apply_combination_of_not_mem

Modification history