Theorem Int.ofNat_zero

Modification history