∀ (env : Lean.Kernel.Environment) (name : Lean.Name) (env_1 : Lean.Kernel.Environment) (name_1 : Lean.Name),
  (Lean.Kernel.Exception.unknownConstant env name = Lean.Kernel.Exception.unknownConstant env_1 name_1) =
    (env = env_1 ∧ name = name_1)