Def CategoryTheory.SimplicialCategory.homEquiv'

Modification history

2025-02-08 20:13

Mathlib/AlgebraicTopology/SimplicialCategory/Basic.lean

feat(AlgebraicTopology): notations X _⦋n⦌ and X ^⦋n⦌ for (co)simplicial objects (#21581) …

Modified CategoryTheory.SimplicialCategory.homEquiv'View on Github →

2024-06-05 09:14

Mathlib/AlgebraicTopology/SimplicialCategory/Basic.lean

feat(AlgebraicTopology): simplicial categories (#11398) …

Added CategoryTheory.SimplicialCategory.homEquiv'View on Github →