Theorem CategoryTheory.Limits.CatCospanTransformMorphism.left_coherence_app

Modification history