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

State before:
⊢ oddFactors 0 = 0
Tactic:
simp [oddFactors]
State after:
no goals