Theorem: P₃_tautology8 (MLIR/Examples/FinIntBruteforce.lean)

State before:
⊢ isTautologyUpTo2 8 P₃ = true
Tactic:
native_decide
State after:
no goals