AdeleRing

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

Statistics

Metric	Count
Definitions	0
Theorems locallyCompactSpace, instSecondCountableTopologyAdeleRingRingOfIntegers_fLT, instT2SpaceAdeleRingRingOfIntegers_fLT	3
Total	3

NumberField.AdeleRing

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
locallyCompactSpace 📖	—	—	—	—	instLocallyCompactSpaceFiniteAdeleRingRingOfIntegers_fLT

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instSecondCountableTopologyAdeleRingRingOfIntegers_fLT 📖	—	—	—	—	instSecondCountableTopologyInfiniteAdeleRing_fLT instSecondCountableTopologyFiniteAdeleRingRingOfIntegers_fLT
instT2SpaceAdeleRingRingOfIntegers_fLT 📖	—	—	—	—	instT2SpaceInfiniteAdeleRing_fLT instT2SpaceFiniteAdeleRingRingOfIntegers_fLT

---

← Back to Index