Skip to content
continuous integration (staging)

feat(RingTheory): Algebra.FinitePresentation descends along faithfu… #21580

Sign in to view logs

feat(RingTheory): Algebra.FinitePresentation descends along faithfu…

feat(RingTheory): Algebra.FinitePresentation descends along faithfu… #21580

ci (staging)  /  Post-CI job

ci (staging) / Post-CI job
succeeded Feb 13, 2026 in 9s
⚡