Theorem CategoryTheory.Limits.colimitLimitToLimitColimit_surjective

Modification history