Skip to content
Check PR titles

feat(CategoryTheory/Abelian/Injective): the connecting homomorphism for Ext via a horseshoe diagram #39154

Sign in to view logs

feat(CategoryTheory/Abelian/Injective): the connecting homomorphism for Ext via a horseshoe diagram

feat(CategoryTheory/Abelian/Injective): the connecting homomorphism for Ext via a horseshoe diagram #39154

Triggered via pull request September 7, 2026 13:49
@joelrioujoelriou
opened #43538
Status Success
Total duration 1m 37s
Artifacts –

check_pr_titles.yaml

on: pull_request_target
check_title
1m 33s
check_title
Fit to window
Zoom out
Zoom in