Theorem Real.one_rpow

Modification history