Theorem Num.ofNat'_zero

Modification history