Theorem Real.rpow_sub_int'

Modification history