Def CategoryTheory.Limits.isLimitOfHasProductOfPreservesLimit

Modification history