Theorem Matroid.IsBasis'.encard_eq_eRk

Modification history