Description: Obsolete version of vex as of 28-Aug-2023. All setvar variables are sets (see isset ). Theorem 6.8 of Quine p. 43. (Contributed by NM, 26-May-1993) (New usage is discouraged.) (Proof modification is discouraged.)