Mathlib Changelog
v4
Changelog
About
Github
Theorem
testBit_pred
Modification history
2024-02-10 22:15
test/slim_check.lean
fix(Testing/SlimCheck/Testable): do not call `inferType` on an expression with `bvar`s (#9722) …
Added
testBit_pred
View on Github →