Theorem Behrend.sphere_subset_preimage_metric_sphere

Modification history