Theorem Matroid.Indep.inter_IsBasis_biInter

Modification history