Theorem ball_and_distrib

Modification history