Theorem Real.rpow_sub_intCast

Modification history