Skip to content
lint and suggest

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

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

Triggered via pull request February 13, 2026 15:13
@chrisflavchrisflav
synchronize #35254
chrisflav:descent-finpres
Status Success
Total duration 2m 1s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint and suggest
1m 57s
Lint and suggest
Fit to window
Zoom out
Zoom in
⚡