∀ (transparency : Lean.Meta.TransparencyMode) (offsetCnstrs : Bool) (occs : Lean.Meta.Occurrences)
  (newGoals : Lean.Meta.Rewrite.NewGoals) (transparency_1 : Lean.Meta.TransparencyMode) (offsetCnstrs_1 : Bool)
  (occs_1 : Lean.Meta.Occurrences) (newGoals_1 : Lean.Meta.Rewrite.NewGoals),
  ({ transparency := transparency, offsetCnstrs := offsetCnstrs, occs := occs, newGoals := newGoals } =
      { transparency := transparency_1, offsetCnstrs := offsetCnstrs_1, occs := occs_1, newGoals := newGoals_1 }) =
    (transparency = transparency_1 ∧ offsetCnstrs = offsetCnstrs_1 ∧ occs = occs_1 ∧ newGoals = newGoals_1)