Theorem SimplexCategory.toCat.obj_eq_Fin

Modification history

2025-07-22 07:13
Mathlib/AlgebraicTopology/SimplexCategory/Basic.lean
Feat(CategoryTheory): terminal categories with an application to hoFunctor (#25781) …
Added SimplexCategory.toCat.obj_eq_FinView on Github →