Theorem Real.rpow_sub_nat'

Modification history