Theorem WithZero.exp_neg

Modification history