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

This job was skipped