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 →