Def SmulZeroClass.compFun

Modification history