Theorem MulSalemSpencer.roth_number_eq

Modification history