Theorem Matroid.uniqueBaseOn_rankFinite

Modification history