Theorem Matroid.Base.ncard_eq_ncard_of_base

Modification history