Description: Obsolete version of cbvrabv as of 14-Jun-2023. Rule to change the
bound variable in a restricted class abstraction, using implicit
substitution. (Contributed by NM, 26-May-1999)(New usage is discouraged.)(Proof modification is discouraged.)