-
François Clément authoredFinite_dim_AS_aff_span + Finite_dim_AS_aff_gen + Finite_dim_AS_Aff_indep + Finite_dim_AS_basis. Update doc. Update imports.
c1c97012
_CoqProject 4.83 KiB
Finite_dim_AS_aff_span + Finite_dim_AS_aff_gen + Finite_dim_AS_Aff_indep + Finite_dim_AS_basis. Update doc. Update imports.