Theorem wel2-wl 33376

Description: Redefine e. in a set context to avoid syntax check errors in mmj2. It is no syntactic error to assign the same variable to x and y. (Contributed by Wolf Lammen, 27-Nov-2021.)

Assertion

Ref	Expression
wel2-wl	wff x e. y

Proof of Theorem wel2-wl

Step	Hyp	Ref	Expression
1		wcel2-wl 33375	1 wff x e. y

Syntax hints:   e. wcel2-wl 33375

This theorem is referenced by: (None)