Theorem Arity.const_zero

Modification history