Def Cache.Test.assertTrue

Modification history

2026-08-11 00:21
Cache/Test.lean
chore: bump toolchain to v4.34.0-rc1 (#42619)
Added Cache.Test.assertTrueView on Github →