Theorem CategoryTheory.Limits.comp_lim_obj_ext

Modification history