Theorem ball_of_forall

Modification history