Theorem mulSalemSpencer_pair

Modification history