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.