Def CategoryTheory.liftedLimitIsLimit

Modification history