Def CategoryTheory.liftsToColimitOfCreates

Modification history