pub fn matroid_intersection_ty() -> Expr
MatroidIntersection : common independent set in two matroids.