Theorem CategoryTheory.Limits.biproduct.whisker_equiv_inv_eq_lift

Modification history