Theorem CategoryTheory.Limits.biproduct.whisker_equiv_hom_eq_lift

Modification history