Theorem MulSalemSpencer.prod

Modification history