Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-01 21:31 e0a4dd88

View on Github →

feat(ring_theory/finiteness): improve API for finite presentation (#6382) Improve the API for finitely presented morphism. I changed the name from algebra.finitely_presented to algebra.finite_presentation that seems more coherent with the other names. Coming soon: transitivity of finite presentation.

Estimated changes