Theorem MulSalemSpencer.le_mulRothNumber

Modification history