∀ {V : Type u_1} [inst : Quiver V] {R : Type u_2} [inst_1 : Semiring R] [inst_2 : LinearOrder R] [IsStrictOrderedRing R]
  {w : V → V → R}, (∀ (i j : V), 0 < w i j) → ∀ {i j : V} (p : Quiver.Path i j), 0 < Quiver.Path.weightOfEPs w p