Theorem Algebra.Generators.ker_eq_ker_aeval_val

Modification history

2024-07-01 08:43
Mathlib/RingTheory/Generators.lean
feat(RingTheory): presentations of algebras (#14271) …
Added Algebra.Generators.ker_eq_ker_aeval_valView on Github →