FLT/HenselianLocalRing/
28 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- EtaleDecomposition.lean 3 declarations
- Finite.lean 16 declarations
- Stuff.lean 9 declarations
FLT/HenselianLocalRing/28 declarations, 0 contain sorry, 0 declared as axioms; 3 files