Theorem Real.zero_rpow_nonneg

Modification history