Description: Obsolete version of elex2 as of 30-Nov-2024. (Contributed by Alan Sare, 25-Sep-2011) (New usage is discouraged.) (Proof modification is discouraged.)