Theorem CategoryTheory.Limits.biproduct.whiskerEquiv_hom_eq_lift

Modification history