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