`FLT/HaarMeasure/HaarChar/`

86 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

AddEquiv.lean 11 declarations
AdeleRing.lean 11 declarations
FiniteAdeleRing.lean 27 declarations
FiniteDimensional.lean 10 declarations
Padic.lean 6 declarations
RealComplex.lean 4 declarations
Ring.lean 17 declarations