Theorem CategoryTheory.Limits.cospan_left

Modification history