Def CategoryTheory.Limits.pasteVertIsPushout

Modification history