Open GinoGiotto opened 11 months ago
On the official website there is the syntax definition cv https://us.metamath.org/mpeuni/cv.html which states that the setvar x is also a class expression.
cv
However the corresponding metamath-web page shows cv as a setvar definition https://metamath.tirix.org/mpests/cv, not a class one.
On the official website there is the syntax definition
cvhttps://us.metamath.org/mpeuni/cv.html which states that the setvar x is also a class expression.However the corresponding metamath-web page shows
cvas a setvar definition https://metamath.tirix.org/mpests/cv, not a class one.