Theorem CategoryTheory.composePath_id

Modification history

2025-08-27 19:15
Mathlib/CategoryTheory/PathCategory/Basic.lean
chore(CategoryTheory): process remaining porting notes for CategoryTheory (#28782) …
Modified CategoryTheory.composePath_idView on Github →
2023-03-03 08:09
Mathlib/CategoryTheory/PathCategory.lean
feat: port CategoryTheory.PathCategory (#2580)
Added CategoryTheory.composePath_idView on Github →