quasigroup public under algebraic-magma 22 List Picture As a command %3 n0 quasigroup n2 mathematical-group n0->n2 n1 algebraic-magma n1->n0