Theorem Num.ofNat'_one

Modification history