Threeadic

📁 Source: FLT/GaloisRepresentation/HardlyRamified/Threeadic.lean

Statistics

Metric	Count
Definitions	0
Theorems three_adic	1
Total	1
⚠️ With sorry three_adic	1

GaloisRepresentation.IsHardlyRamified

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
three_adic 📖 ⚠️	mathematical	GaloisRepresentation.IsHardlyRamified	GaloisRep Nat.Prime.toHeightOneSpectrumRingOfIntegersRat instFunLikeGaloisRepAbsoluteGaloisGroupEnd GaloisRep.toLocal Field.AbsoluteGaloisGroup.adicArithFrob	—	—

---

← Back to Index