Theorem CategoryTheory.Limits.CatCospanTransform.triangle_inv

Modification history