Def CategoryTheory.Limits.pasteHorizIsPullbackEquiv

Modification history