[Agda] monot-minus for Nat

[Nils Anders Danielsson]

On 2012-09-15 20:50, Serge D. Mechveliani wrote:
> I look into  Data.Nat.Properties  and see only these `-mono' :

Oh, sorry, this definition is only present in the development version of
the library:

   http://www.cse.chalmers.se/~nad/listings/lib/Data.Nat.Properties.html

-- 
/NAD