Theorem Matroid.basis_iff_mem_maximals_Prop

Modification history