Theorem SimplicialObject.Split.hom_ext

Modification history

2023-04-22 01:34
Mathlib/AlgebraicTopology/SplitSimplicialObject.lean
feat: port AlgebraicTopology.DoldKan.FunctorGamma (#3566)
Added SimplicialObject.Split.hom_extView on Github →