Def CategoryTheory.createsLimitOfFullyFaithfulOfLift

Modification history