Template:Ring of integers-property

This article defines a property that can be evaluated for a ring of integers in a number field