Syntax definition cmthm

Description: The set of theorems.

	Ref	Expression
Assertion	cmthm	$$class\mathrm{mThm}$$