Def CategoryTheory.Limits.pasteVertIsPullbackEquiv

Modification history