Commit 2025-10-11 00:32 06d95e5f

test(TacticAnalysis): ensure classical's effects are picked up (#29501) This test case used to fail, and needed a fix to the classical tactic in the standard library:

• depends on: https://github.com/leanprover/lean4/pull/10332