Theorem CategoryTheory.Limits.biproduct.conePointUniqueUpToIso_inv

Modification history