Theorem Matroid.spanning_iff_eRk_le

Modification history