Theorem NNReal.ball_zero_eq_Ico'

Modification history