Theorem Num.zero_add

Modification history