Theorem ofNat_zero

Modification history