Skip to content
Check PR titles

feat(Algebra/Category): P.Under ⊤ R has finite limits if P is stable under finite products and equalizers #20130

Sign in to view logs

feat(Algebra/Category): P.Under ⊤ R has finite limits if P is stable under finite products and equalizers

feat(Algebra/Category): P.Under ⊤ R has finite limits if P is stable under finite products and equalizers #20130

Triggered via pull request April 13, 2026 17:34
@chrisflavchrisflav
edited #36919
Status Skipped
Total duration 2s
Artifacts –

check_pr_titles.yaml

on: pull_request_target
check_title
0s
check_title
Fit to window
Zoom out
Zoom in