Theorem Matroid.Indep.inter_isBasis_sInter

Modification history