Def CategoryTheory.Limits.pasteVertIsPushoutEquiv

Modification history