← all areas

Namespace HeightOneSpectrum 2 theorems

• Galois equivariance of the base-change decomposition L⊗_K Kᵥ≅prod_{w∣ v}L_w HeightOneSpectrum.adicCompletion.baseChangeAlgEquiv_congr_apply_eq_transport 0 below · cited by 2 · depth 32
• Norm and absolute value under L⊗_K Kᵥ≅prod_{w∣ v}L_w HeightOneSpectrum.adicCompletion.norm_tensorProduct_eq_finprod_norm_baseChangeAlgEquiv_and_norm_norm_eq_norm 0 below · cited by 10 · depth 33