fact: Variables (A : Type) (R : relation A) (B : Type) (S : relation B) (F : A -> B -> Prop) (F_R : Proper (R ==> S ==> iff) F).
imports: Coq(Vector Program Structures.Equalities Morphisms) CoLoR(LogicUtil NatUtil EqUtil ListUtil BoolUtil RelUtil)