Description: Obsolete version of dffun3 as of 19-Dec-2024. Alternate definition of function. (Contributed by NM, 29-Dec-1996) (Proof modification is discouraged.) (New usage is discouraged.)