fact: Definition antisym {X} (R : X -> X -> Prop) := forall x y, R x y -> R y x -> False.
imports: Equations(Equations) Examples.Fin Relations Utf8 Relations Wellfounded Setoid RelationClasses Morphisms Lia Bool List Arith String Coq(FunctionalExtensionality) ssreflect Lia