Theorem Real.abs_rpow_le_abs_rpow

Modification history