Commit 2021-03-18 03:01 9b8d41a3
View on Github →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.