`FLT/Mathlib/RingTheory/Valuation/`

13 declarations, 0 contain sorry, 0 declared as axioms; 3 files

Folders

Discrete/ 1 files, 1 declarations
ValuativeRel/ 1 files, 8 declarations

Files

ValuationSubring.lean 4 declarations