Theorem CategoryTheory.Limits.cospanExt_hom_app_left

Modification history