fact: Example ex_find_vars (C : Category) (x y : C) (f : x ~> y) (g : y ~> x) : g ≈ g → f ≈ f.
imports: Coq.Lists.List Category.Lib Category.Lib.IList Category.Theory.Category Category.Solver.Expr Category.Solver.Denote