mathlib

640955c6 - refactor(ring_theory/finiteness): remove unnecessary `fintype.trunc_equiv_fin` (#15076)