feat: add Fin.find?
, Fin.findSome?
and lemmas
#1099
Merged
Fin.find?
, Fin.findSome?
and lemmas
#1099