9.13 Matroid Intersection, Part VI

[@wongrufus]

14:36 Note that conv is inclusion-wise preserving, i.e. if A in B, conv(A) is in conv(B)

[@wongrufus]

Note the base case is omitted but could be trivially proven