Theorem Int.natCast_strictMono

Modification history