Def CategoryTheory.CountableCategory.HomAsType

Modification history

2024-01-09 09:24

Mathlib/CategoryTheory/Countable.lean

feat(CategoryTheory): define countable categories and countable limits (#8674) …

Added CategoryTheory.CountableCategory.HomAsType View on Github →