Skip to content
continuous integration (mathlib forks)

[Merged by Bors] - feat(RingTheory): Algebra.FinitePresentation descends along faithfully flat algebras #269556

Sign in to view logs

[Merged by Bors] - feat(RingTheory): Algebra.FinitePresentation descends along faithfully flat algebras

[Merged by Bors] - feat(RingTheory): Algebra.FinitePresentation descends along faithfully flat algebras #269556

ci (fork)  /  Post-Build Step

ci (fork) / Post-Build Step
succeeded Feb 13, 2026 in 3m 37s
⚡