banach-space public under mathematical-structure 88 List Picture As a command %3 n0 banach-space n2 hilbert-space n0->n2 n1 mathematical-structure n1->n0