Def Mathlib.CountHeartbeats.Mathlib.Linter.CountHeartbeats.countHeartbeatsLinter

Modification history

2025-01-13 11:11
Mathlib/Util/CountHeartbeats.lean
feat: `#count_heartbeats` for all declarations (#20421) …
Added Mathlib.CountHeartbeats.Mathlib.Linter.CountHeartbeats.countHeartbeatsLinterView on Github →