Theorem CategoryTheory.Limits.limitObjIsoLimitCompEvaluation_hom_π

Modification history