Description: Obsolete version of rexima as of 14-Aug-2025. Duplicate version of rexima . (Contributed by Scott Fenton, 27-Sep-2024) (Proof modification is discouraged.) (New usage is discouraged.)