Description: Obsolete version of en1eqsn as of 4-Jan-2025. (Contributed by FL, 18-Aug-2008) (Proof modification is discouraged.) (New usage is discouraged.)