Theorem NNReal.sqrt_lt_sqrt

Modification history