Searched defs:defInverse (Results 1 – 1 of 1) sorted by relevance
2467 defInverse Defn{theDef = Function { funInv = inv }} = inv function2468 defInverse Defn{theDef = Primitive{ primInv = inv }} = inv function2469 defInverse _ = NotInjective function