Theorem CategoryTheory.Limits.spanExt_app_left

Modification history