∀ {α β : Type w} [inst : Std.Iterator α Id β] [inst_1 : Std.IteratorLoop α Id Id] [Std.Iterators.Finite α Id]
  {it : Std.Iter β} {f : β → Bool}, it.find? f = it.findSome? fun x => if f x = true then some x else none