Description: Obsolete version of rru as of 30-Aug-2024. (Contributed by Stefan O'Rear, 22-Feb-2015) Avoid df-nel . (Revised by Steven Nguyen, 23-Nov-2022) (Proof modification is discouraged.) (New usage is discouraged.)