Theorem CategoryTheory.Limits.Cofork.app_zero_eq_comp_π_right

Modification history