Theorem Real.rpow_add_natCast'

Modification history