Theorem CategoryTheory.Limits.cospanCompIso_hom_app_right

Modification history