Theorem ball_one_eq

Modification history