[Merged by Bors] - feat(RingTheory): Algebra.FinitePresentation descends along faithfully flat algebras
#41434
Triggered via pull request
February 13, 2026 15:53
mathlib-triage[bot]
mathlib-triage[bot]
labeled
#35254
Status
Success
Total duration
13s
Artifacts
–
zulip_emoji_labelling.yaml
on: pull_request_target
set_pr_emoji
10s