Theorem CategoryTheory.e_assoc'

Modification history

2024-06-05 09:14
Mathlib/CategoryTheory/Enriched/Basic.lean
feat(AlgebraicTopology): simplicial categories (#11398) …
Added CategoryTheory.e_assoc'View on Github →