Mathlib.Tactic.Linarith.Comp →
  Mathlib.Tactic.Linarith.CompSource →
    Std.TreeSet ℕ compare →
      Std.TreeSet ℕ compare → Std.TreeSet ℕ compare → Std.TreeSet ℕ compare → Mathlib.Tactic.Linarith.PComp