[<A HREF="LeftInverse.ps">PostScript</A>]

<PRE>
LeftInverse: <b>trait</b>
  <b>assumes</b> <A HREF="LeftIdentity.html">LeftIdentity</A>
  <b>introduces</b> __\inv: T -&gt; T
  <b>asserts</b> <b>forall</b> x: T
    (x\inv) \circ x == unit
</PRE>

[<A HREF="toc.html">Table of Contents</A>] [<A HREF="index.html">Index</A>]