Closed tirix closed 2 years ago
Formulas in the form |- { x | ( x e. A /\ ph ) } = B are not parsed correctly. The cv is missing for the (second) x occurrence.
|- { x | ( x e. A /\ ph ) } = B
cv
x
Formulas in the form
|- { x | ( x e. A /\ ph ) } = Bare not parsed correctly. Thecvis missing for the (second)xoccurrence.