mathlib3

38963b53 - feat(algebra/algebra/basic): add two simp lemmas (#16096)

feat(algebra/algebra/basic): add two simp lemmas (#16096) Two simp lemmas that are useful for dealing with the group of automorphisms of an algebra. I also had to fix two proofs from `field_theory/krull_topology`.