Theorem Int.natCast_succ_pos

Modification history