[Merged by Bors] - feat(RingTheory): Algebra.FinitePresentation descends along faithfully flat algebras
#163263
| Job | Run time |
|---|---|
| 10s | |
| 10s |