Theorem Matroid.Base.card_eq_card_of_base

Modification history