Theorem AddSalemSpencer.le_rothNumberNat

Modification history