Theorem NNReal.rpow_one_div_eq_iff

Modification history