Theorem Matroid.Indep.inter_left

Modification history