REqualsT

📁 Source: FLT/Patching/REqualsT.lean

Statistics

Metric	Count
Definitions	0
Theorems ker_RtoT_le_nilradical	1
Total	1

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
ker_RtoT_le_nilradical 📖	—	IsLocalRing.IsAdicTopology instSMulIdealSubmoduleOfSMulCommClass_fLT Module.depth	—	—	instFinite_fLT support_eq_top IsLocalRing.instNonarchimedeanRing_fLT IsLocalRing.instT2SpaceOfIsNoetherianRing_fLT

---

← Back to Index