# 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.