Theorem Matroid.Indep.inter_IsBasis_sInter

Modification history