Theorem Matroid.base_restrict_iff'

Modification history