Cardinal

📁 Source: Mathlib/Data/Rat/Cardinal.lean

Statistics

Metric	Count
Definitions	0
Theorems mkRat	1
Total	1

Cardinal

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
mkRat 📖	mathematical	—	aleph0	—	mk_eq_aleph0 Encodable.countable CharZero.infinite Rat.instCharZero

---

← Back to Index