Theorem Matroid.Indep.inter_isBasis_iInter

Modification history