Def isBinaryCoproductOfIsInitialIsPushout

Modification history