Maintainer merge

feat(Algebra/Category/ModuleCat): add locally finitely presentable instance #250341

Sign in to view logs

Triggered via issue April 12, 2026 04:23

LarsenClose

commented on #36758 b43655d

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip