mathlib

d510a637 - feat(linear_algebra/finite_dimensional): finite dimensional algebra_hom of fields is bijective (#4793)

feat(linear_algebra/finite_dimensional): finite dimensional algebra_hom of fields is bijective (#4793) Changes to finite_dimensional.lean from #4786 Co-authored-by: tb65536 <tb65536@users.noreply.github.com>