Theorem Algebra.Generators.ker_ofAlgHom

Modification history

2025-11-27 13:47
Mathlib/RingTheory/Extension/Generators.lean
feat(RingTheory): `IsStandardEtale` (#32138)
Added Algebra.Generators.ker_ofAlgHomView on Github →