Theorem sphere_prod

Modification history