Theorem rothNumberNat_zero

Modification history