Theorem Matroid.spanning_iff_eRk_le'

Modification history