Skip to content
Add "closed-pr" emoji in Zulip

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

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 #9432

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add closed-pr emoji in Zulip
4s
4s
⚡