Commit 2025-02-05 17:15 6aadd7f3
View on Github →refactor(CategoryTheory): ConcreteCategory
instance for FintypeCat
(#21466)
Upgrade the HasForget
instance on FintypeCat
to a ConcreteCategory
.
refactor(CategoryTheory): ConcreteCategory
instance for FintypeCat
(#21466)
Upgrade the HasForget
instance on FintypeCat
to a ConcreteCategory
.