wcel2-wl - Mathbox for Wolf Lammen

	Mathbox for Wolf Lammen		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > wcel2-wl		Structured version Visualization version Unicode version

Syntax Definition wcel2-wl 33375

Description: Redefine

in a class context to avoid overloading and syntax check errors in mmj2.

and

may not be distinct.

**Hypotheses**
Ref	Expression
vx
cB

**Assertion**
Ref	Expression
wcel2-wl

See definition df-wl-clelv2 33380 for more information.

Colors of variables: wff setvar class