Theorem Int.succ_natCast_pos

Modification history