Theorem test_count_heartbeats

Modification history

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