Theorem mulSalemSpencer_insert_of_lt

Modification history