Basic

📁 Source: FLT/Mathlib/NumberTheory/NumberField/InfinitePlace/Basic.lean

Statistics

Metric	Count
Definitions	0
Theorems infinitePlace_isReal	1
Total	1

Rat

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
infinitePlace_isReal 📖	—	—	—	—	—

---

← Back to Index