Set.range on WithBot and WithTop

theorem WithBot.range_eq {α : Type u_1} {β : Type u_2} (f : WithBot α → β) : Set.range f = insert (f ⊥) (Set.range (f ∘ some))

theorem WithTop.range_eq {α : Type u_1} {β : Type u_2} (f : WithTop α → β) : Set.range f = insert (f ⊤) (Set.range (f ∘ WithBot.some))