Theorem Matroid.ExchangeProperty.encard_diff_le_aux

Modification history