mathlib

ae025835 - refactor(data/set/finite): protect `set.finite` (#14344)

refactor(data/set/finite): protect `set.finite` (#14344) This change will make it so that it does not conflict with a top-level `finite` that will be added to complement `infinite`.