Def CategoryTheory.createsLimitOfFullyFaithfulOfIso

Modification history