Theorem sphere_ext_iff

Modification history