Syntax Definition wer 3197

Description: Extend the definition of a wff to include the equivalence predicate.

Hypothesis

Ref	Expression
cR	class R

Assertion

Ref	Expression
wer	wff Er R

See definition df-er 3200 for more information.

metamath.org