linear-map public under homomorphism 8 List Picture As a command %3 n0 linear-map n2 linear-operator n0->n2 n1 homomorphism n1->n0