Template:Natural number property

From Groupprops

This article defines a property that can be evaluated for natural numbers