Theorem Matroid.Indep.inter_IsBasis_iInter

Modification history