{{indexmenu_n>11590}} ====== rec-ident2 ====== composition of f and inverse of f eq identity using <apply> {{mml>}} Author: Design Science, Inc. (E. Cannon, E. Tabacman, R.Miner)