Theorem Real.rpow_sub_natCast

Modification history