Theorem YX'

Modification history

2026-08-11 00:21
MathlibTest/Util/CountHeartbeats.lean
chore: bump toolchain to v4.34.0-rc1 (#42619)
Deleted YX'View on Github →
2025-01-13 11:11
MathlibTest/CountHeartbeats.lean
feat: `#count_heartbeats` for all declarations (#20421) …
Added YX'View on Github →