fact: Variables (C J : Category) (H1 : forall k : J -> C, Product1 k) (H2 : forall k : Arrs J -> C, Product1 k) (H3 : forall (a b : C) (f g : a --> b), Equalizer1_fg f g) (F : Functor J C).
imports: Equalizers1 Products1