fact: Variables (R : relation A) (S : relation B) (T : relation C) (f_mor : Proper (R ==> S ==> T) f).
imports: Coq(Vector Program Structures.Equalities Morphisms) CoLoR(LogicUtil NatUtil EqUtil ListUtil BoolUtil RelUtil)