Def CategoryTheory.createsColimitOfFullyFaithfulOfLift'

Modification history