Theorem CategoryTheory.Limits.zero_of_to_zero

Modification history