Theorem WithZero.exp_nsmul

Modification history