[Agda] infix ∸-mono ?

Sergei Meshveliani mechvel at botik.ru
Wed May 3 21:29:36 CEST 2017

Previous message (by thread): [Agda] Help at propositional equality proof that contains subst.
Next message (by thread): [Agda] infix ∸-mono ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear list,

Standard library has infix  _+-mono_ and _*-mono_  in
Data.Nat.Properties.
So, why  ∸-mono  is prefix?

Regards,

------
Sergei

Previous message (by thread): [Agda] Help at propositional equality proof that contains subst.
Next message (by thread): [Agda] infix ∸-mono ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list