Description: Obsolete version of iunopab as of 11-Dec-2024. (Contributed by Stefan O'Rear, 20-Feb-2015) (Proof modification is discouraged.) (New usage is discouraged.)