You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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.However the corresponding metamath-web page shows
cv
as a setvar definition https://metamath.tirix.org/mpests/cv, not a class one.The text was updated successfully, but these errors were encountered: