Syntax definition cfppr

Description: Extend class notation with the Fermat pseudoprimes.

	Ref	Expression
Assertion	cfppr	class FPPr