Theorem Int.zero_le_ofNat

Modification history