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