Mathlib v3 is deprecated. Go to Mathlib v4

Theorem category_theory.nat_trans.comp_app_assoc

Modification history

2023-07-30 10:18
src/category_theory/functor/category.lean
feat(algebraic_topology/dold_kan): The Dold-Kan equivalence for pseudoabelian categories (#17925)
Added category_theory.nat_trans.comp_app_assocView on Github →