Theorem Matroid.Indep.inter_isBasis_biInter

Modification history