Description: Obsolete version of iunid as of 15-Jan-2025. (Contributed by NM, 6-Sep-2005) (Proof modification is discouraged.) (New usage is discouraged.)