Template:Group-to-natural number property operator
This article describes a property operator that takes as input a group property and outputs a property of natural numbers
This article describes a property operator that takes as input a group property and outputs a property of natural numbers