Theorem test_check_tactic

Modification history

2026-02-28 12:29
MathlibTest/BasicFiles/TacticCommon.lean
fix: provide `#min_imports` and other commands in `Mathlib.Init` (#35143) …
Added test_check_tacticView on Github →