Theorem CategoryTheory.Limits.IsColimit.ι_app_homEquiv_symm

Modification history