Theorem AlgebraicIndependent.matroid_spanning_iff_of_subsingleton

Modification history