Lift

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

Statistics

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

GaloisRepresentation.IsHardlyRamified

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
lifts 📖 ⚠️	mathematical	GaloisRepresentation.IsHardlyRamified	GaloisRep.conj GaloisRep.baseChange	—	—

---

← Back to Index