Theorem Real.rpow_sub'

Modification history