mathlib3

55baab3e - feat(field_theory/krull_topology): added fintype_alg_hom (#12777)

feat(field_theory/krull_topology): added fintype_alg_hom (#12777) Co-authored-by: Kevin Buzzard <k.buzzard@imperial.ac.uk> Co-authored-by: Sebastian-Monnet <54352341+Sebastian-Monnet@users.noreply.github.com> Co-authored-by: Riccardo Brasca <riccardo.brasca@gmail.com>