[Merged by Bors] - feat(RingTheory): Algebra.FinitePresentation descends along faithfully flat algebras
#35254
+177
−0
Loading