Theorem WithZero.exp_zero

Modification history