Theorem CategoryTheory.Limits.Fork.app_one_eq_ι_comp_left

Modification history