Skip to content
Post PR summary comment

feat(CategoryTheory/Sums/Basic): functors out of Sum #48939

Sign in to view logs

feat(CategoryTheory/Sums/Basic): functors out of Sum

feat(CategoryTheory/Sums/Basic): functors out of Sum #48939

Triggered via pull request February 25, 2025 12:14
@robin-carlierrobin-carlier
synchronize #22278
RC_FunctorSumEquiv
Status Success
Total duration 1m 4s
Artifacts –

PR_summary.yml

on: pull_request
post-or-update-summary-comment
55s
post-or-update-summary-comment
Fit to window
Zoom out
Zoom in