Theorem addSalemSpencer_sphere

Modification history