mathlib

9b8d41a3 - feat(ring_theory/finiteness): add transitivity of finite presentation (#6640)

feat(ring_theory/finiteness): add transitivity of finite presentation (#6640) This adds transitivity of finite presentation (for rings). I think we now have a basic API for finitely presented algebras. Co-authored-by: Eric Wieser <wieser.eric@gmail.com>