Syntax definition cminply

Description: Extend class notation with the minimal polynomial builder function.

	Ref	Expression
Assertion	cminply	$$class\mathrm{minPoly}$$