Def CategoryTheory.createsLimitOfFullyFaithfulOfLift'

Modification history