Theorem CategoryTheory.Limits.spanExt_inv_app_left

Modification history