Theorem Matroid.ExchangeProperty.encard_isBase_eq

Modification history