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

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