Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-16 20:42 2f5533c9

View on Github →

feat(ring_theory/finiteness): Kernel of surjective morphism between finitely presented algebras is fg. (#15969)

Estimated changes