Theorem CategoryTheory.Limits.cospanExt_inv_app_left

Modification history