Theorem Behrend.norm_of_mem_sphere

Modification history