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