Theorem Real.zero_rpow

Modification history