Def WithZero.logEquiv

Modification history