Theorem: Bool.xor₃_fin (Lib.lean)

State before:
⊢ xor₃ (decide (↑0 = 1)) (decide (↑0 = 1)) (decide (↑0 = 1)) = decide ((↑0 + ↑0 + ↑0) % 2 = 1)
Tactic:
decide
State after:
no goals

State before:
⊢ xor₃ (decide (↑0 = 1)) (decide (↑0 = 1)) (decide (↑1 = 1)) = decide ((↑0 + ↑0 + ↑1) % 2 = 1)
Tactic:
decide
State after:
no goals

State before:
⊢ xor₃ (decide (↑0 = 1)) (decide (↑1 = 1)) (decide (↑0 = 1)) = decide ((↑0 + ↑1 + ↑0) % 2 = 1)
Tactic:
decide
State after:
no goals

State before:
⊢ xor₃ (decide (↑0 = 1)) (decide (↑1 = 1)) (decide (↑1 = 1)) = decide ((↑0 + ↑1 + ↑1) % 2 = 1)
Tactic:
decide
State after:
no goals

State before:
⊢ xor₃ (decide (↑1 = 1)) (decide (↑0 = 1)) (decide (↑0 = 1)) = decide ((↑1 + ↑0 + ↑0) % 2 = 1)
Tactic:
decide
State after:
no goals

State before:
⊢ xor₃ (decide (↑1 = 1)) (decide (↑0 = 1)) (decide (↑1 = 1)) = decide ((↑1 + ↑0 + ↑1) % 2 = 1)
Tactic:
decide
State after:
no goals

State before:
⊢ xor₃ (decide (↑1 = 1)) (decide (↑1 = 1)) (decide (↑0 = 1)) = decide ((↑1 + ↑1 + ↑0) % 2 = 1)
Tactic:
decide
State after:
no goals

State before:
⊢ xor₃ (decide (↑1 = 1)) (decide (↑1 = 1)) (decide (↑1 = 1)) = decide ((↑1 + ↑1 + ↑1) % 2 = 1)
Tactic:
decide
State after:
no goals