Theorem Int.natCast_ne_zero_iff_pos

Modification history