Theorem CategoryTheory.Limits.comp_zero

Modification history