Def finZeroEquiv'

Modification history