Theorem: oddFactors.not_two_mem (FltRegular/FltThree/OddPrimeOrFour.lean)

State before:
x : ℕ
⊢ 2 ∉ oddFactors x
Tactic:
simp [oddFactors]
State after:
no goals