mathlib

6ab0f909 - chore(category_theory/filtered): avoid `finish` (#10918)

chore(category_theory/filtered): avoid `finish` (#10918) Removing uses of finish, as discussed on Zulip (https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/mathlib.20sat.20solvers).