Theorem test_lemma

Modification history

2026-02-28 12:29

MathlibTest/BasicFiles/TacticBasic.lean

fix: provide `#min_imports` and other commands in `Mathlib.Init` (#35143) …

Added test_lemma View on Github →