-
François Clément authored
Finite_dim_AS_aff_span + Finite_dim_AS_aff_gen + Finite_dim_AS_Aff_indep + Finite_dim_AS_basis. Update doc. Update imports.
c1c97012
Finite_dim_AS_aff_span + Finite_dim_AS_aff_gen + Finite_dim_AS_Aff_indep + Finite_dim_AS_basis. Update doc. Update imports.