Theorem CategoryTheory.Limits.PreservesCoproduct.inv_hom

Modification history