Theorem OfNat.ofNat_ne_zero

Modification history