Maintainer merge

feat(CategoryTheory/Endofunctor/Algebra): add Adámek's initial algebra theorem #250331

Sign in to view logs

Triggered via issue April 12, 2026 01:20

LarsenClose

commented on #36104 ba6df48

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip