RatCast

📁 Source: Batteries/Classes/RatCast.lean

Statistics

Metric	Count
Definitions cast, RatCast, ratCast, instCoeHTCTRatOfRatCast, instCoeTailRatOfRatCast, instRatCastRat	6
Theorems	0
Total	6

Rat

Definitions

Name	Category	Theorems
cast 📖	CompOp	—

RatCast

Definitions

Name	Category	Theorems
ratCast 📖	CompOp	—

(root)

Definitions

Name	Category	Theorems
RatCast 📖	CompData	—
instCoeHTCTRatOfRatCast 📖	CompOp	—
instCoeTailRatOfRatCast 📖	CompOp	—
instRatCastRat 📖	CompOp	—

---

← Back to Index