Playground for one mathematical theorem
Primary LanguageCMIT LicenseMIT
x ∈ ℕ 1 ∈ X 3x ∈ X → x ∈ X x ∈ X → 2x + 1 ∈ X
{2t + 1 | t ∈ ℕ } = X?