Theorem finite_of_fin_dim_affineIndependent

Modification history