Theorem CategoryTheory.Limits.colimit_ι_zero_cokernel_desc

Modification history