Theorem Real.rpow_int_cast

Modification history