Theorem test_whatsnew

Modification history

2026-02-28 12:29

MathlibTest/BasicFiles/TacticCommon.lean

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

Added test_whatsnew View on Github →