Theorem CategoryTheory.Limits.map_ι_sigmaConstObjCompIso_hom_app

Modification history

2026-08-11 15:45
Mathlib/CategoryTheory/Limits/Preserves/SigmaConst.lean
feat(AlgebraicTopology/SimplicialSet/Homology): extension of scalars (#38965) …
Added CategoryTheory.Limits.map_ι_sigmaConstObjCompIso_hom_appView on Github →