Description: Obsolete version of isrim as of 12-Jan-2025. (Contributed by AV, 22-Oct-2019) (Proof modification is discouraged.) (New usage is discouraged.)