Basic

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

Statistics

Metric	Count
Definitions	0
Theorems ringOfIntegersEquiv_symm_coe	1
Total	1

Rat

Theorems

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

---

← Back to Index