Theorem CategoryTheory.Limits.cospanCompIso_hom_app_left

Modification history