Theorem CategoryTheory.Limits.zero_of_comp_mono

Modification history