Antisymmetry
Prove
(antiRef)
under the assumption(s)
(antiSymm)
.
We prove (antiRef) by natural deduction.