Theorem AlgebraicIndependent.matroid_isFlat_of_subsingleton

Modification history