Idris2Doc : Data.Rel.Complement

Data.Rel.Complement

complement : Relts -> Relts
The logical complement of a relation.
Totality: total
notToComplement : (p : Relts) -> (elems : HVectts) -> Not (uncurrypelems) = uncurry (complementp) elems
The negation of a relation for some elements
is equal to the complement of the relation.
Totality: total