Metamath Proof Explorer


Syntax definition cmrex

Description: The set of raw expressions.

Ref Expression
Assertion cmrex
class mREx