Skip to content
Maintainer merge

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Ping maintainers on Zulip
0s
0s