Theorem CategoryTheory.Limits.cospanCompIso_app_right

Modification history