Theorem Matroid.Indep.basis_of_forall_insert

Modification history