Def ωCPO

Modification history