Theorem Real.rpow_nat_inv_pow_nat

Modification history