Theorem mulSalemSpencer_insert

Modification history