Def CategoryTheory.Limits.pushoutAssocIsPushout

Modification history