Def CategoryTheory.liftedColimitMapsToOriginal

Modification history