Theorem CategoryTheory.isUniversalColimit_extendCofan

Modification history