`FLT/Patching/Utils/`

119 declarations, 1 contain sorry, 0 declared as axioms; 7 files

Files

AdicTopology.lean 21 declarations
CompactHausdorffRings.lean 5 declarations
Depth.lean 14 declarations
InverseLimit.lean 3 declarations
Lemmas.lean 31 declarations
StructureFiniteness.lean 42 declarations
TopologicallyFG.lean 3 declarations