Theorem Behrend.sphere_zero_subset

Modification history