Def CategoryTheory.createsColimitOfFullyFaithfulOfIso'

Modification history