Theorem test_print_sorries

Modification history

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