Theorem gauge_unit_ball

Modification history