Theorem CategoryTheory.Limits.biproduct.whiskerEquiv_inv_eq_lift

Modification history