finite-group public under mathematical-group 4 List Picture As a command %3 n0 finite-group n1 mathematical-group n1->n0