Theorem mulSalemSpencer_singleton

Modification history