Theorem NNReal.rpow_zero

Modification history