Template:Magma-element property

From Groupprops

This article defines a property of elements or tuples of elements with respect to a binary operation