Def CategoryTheory.createsColimitOfFullyFaithfulOfIso

Modification history