[Agda] neg ~~

[Nils Anders Danielsson]

On 2013-04-06 17:43, Serge D. Mechveliani wrote:
> I define                      x \~~n y  =  \neg (x \~~ y)
> for negation of equivalence

> But may be Standard library has a similar definition
> (similar as for \equiv) ?

Not for the _≈_ fields in Algebra or Relation.Binary.

-- 
/NAD