Description: Obsolete version of raleq as of 5-May-2023. Equality theorem for restricted universal quantifier. (Contributed by NM, 16-Nov-1995) (New usage is discouraged.) (Proof modification is discouraged.)