Metamath Proof Explorer


Syntax definition cmthm

Description: The set of theorems.

Ref Expression
Assertion cmthm
class mThm