Theorem forall_of_ball

Modification history