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

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