Description: Change bound variables in a class substitution. Interestingly, this
does not require any bound variable conditions on A . Version of
cbvcsb with a disjoint variable condition, which does not require
ax-13 . (Contributed by Jeff Hankins, 13-Sep-2009) Avoid ax-13 .
(Revised by Gino Giotto, 10-Jan-2024)