absurd cxy
α : Sort u_1
r : α → α → Prop
self : Preorder r
inst✝ : WeaklyComplementedRel r
x y : α
cxy : coRel r x y
z : α
hzx : r z x
hyz : r y z
⊢ False
α : Sort u_1
r : α → α → Prop
self : Preorder r
inst✝ : WeaklyComplementedRel r
x y : α
cxy : coRel r x y
z : α
hzx : r z x
hyz : r y z
⊢ r y x