Def CategoryTheory.createsColimitOfFullyFaithfulOfLift

Modification history