Theorem Int.cast_nonneg

Modification history