Theorem Behrend.sphere_subset_box

Modification history