Theorem CategoryTheory.Limits.cospanExt_inv_app_one

Modification history