Theorem NNReal.ball_zero_eq_Ico

Modification history