Def CategoryTheory.IsUniversalColimit

Modification history