Theorem Matroid.Basis.left_subset_ground

Modification history