OfBits

📁 Source: Batteries/Data/Fin/OfBits.lean

Statistics

Metric	Count
Definitions ofBits	1
Theorems val_ofBits	1
Total	2

Fin

Definitions

Name	Category	Theorems
ofBits 📖	CompOp	3 math math: val_ofBits, BitVec.toFin_ofFnLE, BitVec.toFin_ofFnBE

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
val_ofBits 📖	mathematical	—	ofBits Nat.ofBits	—	—

---

← Back to Index