Theorem Real.rpow_def_of_neg

Modification history