`FLT/DedekindDomain/FiniteAdeleRing/`

78 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

BaseChange.lean 30 declarations
IsDirectLimitRestricted.lean 7 declarations
LocalUnits.lean 11 declarations
TensorPi.lean 9 declarations
TensorProduct.lean 5 declarations
TensorRestrictedProduct.lean 16 declarations