Theorem CategoryTheory.Limits.coprodZeroIso_inv

Modification history