Theorem CategoryTheory.Limits.IsColimit.ι_map

Modification history