Family

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

Statistics

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

GaloisRepresentation.IsHardlyRamified

Theorems

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

---

← Back to Index