Theorem NNReal.closedBall_zero_eq_Icc'

Modification history