Theorem CategoryTheory.Limits.Multifork.app_right_eq_ι_comp_fst

Modification history