Theorem Int.cast_natCast

Modification history