Theorem frontier_ball

Modification history