Theorem set_smul_sphere_zero

Modification history