Def CategoryTheory.createsLimitOfFullyFaithfulOfPreserves

Modification history