Description: Obsolete version of elisset as of 28-Aug-2023. An element of a class exists. (Contributed by NM, 1-May-1995) (New usage is discouraged.) (Proof modification is discouraged.)