Def CategoryTheory.Limits.isLimitOfHasPullbackOfPreservesLimit

Modification history