Commit 2026-09-08 12:31 98b840bb

View on Github →

chore(RingTheory/Ideal): golf kerSquareLift (#43398) This PR golfs the def of AlgHom.kerSquareLift Co-authored by: @pelicanhere

Estimated changes