Syntax definition cprimroots

Description: Define the class of primitive roots. (Contributed by metakunt, 25-Apr-2025)

	Ref	Expression
Assertion	cprimroots	class PrimRoots