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