Def CategoryTheory.liftedColimitIsColimit

Modification history