Float

📁 Source: Batteries/Lean/Float.lean

Statistics

Metric	Count
Definitions inf, nan, toRatParts, toRatParts', trailingZeros, toStringFull, divFloat, divFloat	8
Theorems	0
Total	8

Float

Definitions

Name	Category	Theorems
inf 📖	CompOp	—
nan 📖	CompOp	—
toRatParts 📖	CompOp	—
toRatParts' 📖	CompOp	—
toStringFull 📖	CompOp	—

Float.toRatParts'

Definitions

Name	Category	Theorems
trailingZeros 📖	CompOp	—

Int

Definitions

Name	Category	Theorems
divFloat 📖	CompOp	—

Nat

Definitions

Name	Category	Theorems
divFloat 📖	CompOp	—

---

← Back to Index