Theorem Behrend.exists_large_sphere_aux

Modification history