Finite_dim_AS_aff_span + Finite_dim_AS_aff_gen
  + Finite_dim_AS_Aff_indep + Finite_dim_AS_basis.
Update doc.
Update imports.