Theorem inv_norm_smul_mem_closed_unit_ball

Modification history