Theorem finite_set_of_fin_dim_affineIndependent

Modification history