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

Merged

fgdorais merged 22 commits intomainfrom fin-find

Feb 26, 2025

Commits on Jan 26, 2025

feat: add Fin.find? and lemmas
fgdorais
committed

Commits on Jan 30, 2025

fix: naming convention

fgdorais
and
kim-em
authored

Commits on Jan 31, 2025

refactor
fgdorais
committed

Commits on Feb 4, 2025

fix: harmonize with List
fgdorais
committed

Commits on Feb 26, 2025