Theorem Matroid.Basis'.base_restrict

Modification history