mathlib

0522ee08 - refactor(ring_theory/jacobson): remove unnecessary `fintype.trunc_equiv_fin` (#15077)