Theorem CategoryTheory.Limits.Sigma.eqToHom_comp_ι

Modification history