matroid public under mathematical-structure 88 List Picture As a command %3 n0 matroid n1 mathematical-structure n1->n0