Def CategoryTheory.createsColimitOfFullyFaithfulOfPreserves

Modification history