Rat

📁 Source: Mathlib/Lean/Expr/Rat.lean

Statistics

Metric	Count
Definitions isExplicitNumber, rat?	2
Theorems	0
Total	2

Lean.Expr

Definitions

Name	Category	Theorems
isExplicitNumber 📖	CompOp	—
rat? 📖	CompOp	—

---

← Back to Index