mathlib

e0a4dd88 - feat(ring_theory/finiteness): improve API for finite presentation (#6382)

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. Co-authored-by: Eric Wieser <wieser.eric@gmail.com>