Theorem AlgebraicIndependent.matroid_isBasis_iff_of_subsingleton

Modification history