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

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