Theorem CategoryTheory.Limits.zero_comp

Modification history