Theorem CategoryTheory.Limits.Fork.app_zero_eq_ι

Modification history