Theorem AlgHom.kerSquareLift_mk

Modification history

2025-12-09 15:53
Mathlib/RingTheory/Ideal/Cotangent.lean
feat(RingTheory): smooth algebras have smooth Noetherian models (#25143) …
Added AlgHom.kerSquareLift_mkView on Github →