Def AlgHom.kerSquareLift

Modification history

2026-09-08 12:31

Mathlib/RingTheory/Ideal/Cotangent.lean

chore(RingTheory/Ideal): golf kerSquareLift (#43398) …

Deleted AlgHom.kerSquareLift View on Github →

2023-05-29 12:31

Mathlib/RingTheory/Ideal/Cotangent.lean

feat: port RingTheory.Ideal.Cotangent (#4451)

Added AlgHom.kerSquareLift View on Github →