∀ (range selectionRange range_1 selectionRange_1 : Lean.DeclarationRange),
  ({ range := range, selectionRange := selectionRange } = { range := range_1, selectionRange := selectionRange_1 }) =
    (range = range_1 ∧ selectionRange = selectionRange_1)