Def CategoryTheory.Limits.biproduct.whiskerEquiv

Modification history