Skip to content
Maintainer merge

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

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

Triggered via pull request February 13, 2026 15:16
@erdOneerdOne
submitted #35254
Status Skipped
Total duration 2s
Artifacts –

maintainer_merge.yml

on: pull_request_review
Ping maintainers on Zulip
0s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in
⚡