Theorem WithZero.exp_zsmul

Modification history