Theorem Int.natCast_pos

Modification history