Theorem CategoryTheory.Limits.cospanExt_app_left

Modification history