Description: Obsolete version of imafi as of 7-Sep-2024. (Contributed by Stefan O'Rear, 22-Feb-2015) (Proof modification is discouraged.) (New usage is discouraged.)