Def CategoryTheory.liftColimit

Modification history