Skip to content
Back to pull request #20256

refactor(CategoryTheory/SmallObject): generalization of the definitions #2252

Sign in to view logs

refactor(CategoryTheory/SmallObject): generalization of the definitions

refactor(CategoryTheory/SmallObject): generalization of the definitions #2252

Run time

Learn about OS pricing on GitHub Actions
Job Run time
set_pr_emoji
0s
0s