Theorem Int.toNat_natCast_add_one

Modification history