Theorem CategoryTheory.Limits.IsColimit.homEquiv_symm_naturality

Modification history