Theorem WithZero.exp_sub

Modification history