Theorem NNReal.sqrt_eq_rpow

Modification history