Theorem test_lemma

Modification history

2026-03-26 22:21

MathlibTest/BasicFiles/Init.lean

chore: import `lemma` in `Mathlib.Init` (#36943) …

Modified test_lemma View on Github →

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 →