Def isCoproductOfIsInitialIsPushout

Modification history