Theorem CategoryTheory.Limits.CatCospanTransformMorphism.right_coherence_app

Modification history