Theorem CategoryTheory.Limits.ι_sigmaConstObjCompIso_inv_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.ι_sigmaConstObjCompIso_inv_appView on Github →