Theorem Real.eq_zero_rpow_iff

Modification history