Template:Binary group property operator
This is a binary group property operator, viz an operator that takes as input two group properties, and outputs one group property
This is a binary group property operator, viz an operator that takes as input two group properties, and outputs one group property