Skip to content
Add "ready-to-merge" and "delegated" label

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

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

Add ready-to-merge or delegated label

Add ready-to-merge or delegated label
succeeded Feb 13, 2026 in 6s
⚡