Def CategoryTheory.Limits.pasteHorizIsPushoutEquiv

Modification history