mathlib3
0b7ee1b4 - feat(category_theory): introduce the core of a category (#832)

Commit

6 years ago

feat(category_theory): introduce the core of a category (#832)

References

#832 - feat(category_theory): introduce the core of a category

Author

kim-em

kim-em

Committer

mergify[bot]

mergify[bot]

Parents

Loading