Theorem gauge_closedBall

Modification history