mathlib3

ba556a70 - chore(algebra/algebra/spectrum): lemmas about the zero ring (#13568)