fact: Definition inter_rel {X : Type} (A B : X -> X -> Prop) := fun x y => A x y /\ B x y.
imports: Equations(Equations) Examples.Fin Relations Utf8 Relations Wellfounded Setoid RelationClasses Morphisms Lia Bool List Arith String Coq(FunctionalExtensionality)