∀
  {normMatches safeMatches unsafeMatches normMatches_1 safeMatches_1 unsafeMatches_1 :
    Lean.PHashSet Aesop.ForwardRuleMatch},
  { normMatches := normMatches, safeMatches := safeMatches, unsafeMatches := unsafeMatches } =
      { normMatches := normMatches_1, safeMatches := safeMatches_1, unsafeMatches := unsafeMatches_1 } →
    normMatches = normMatches_1 ∧ safeMatches = safeMatches_1 ∧ unsafeMatches = unsafeMatches_1