Theorem CategoryTheory.Limits.biproduct.isoCoproduct_inv

Modification history