Theorem NumberField.InfinitePlace.exists_smul_eq_of_comap_eq
Modification history
2024-08-08 10:31
Mathlib/NumberTheory/NumberField/Embeddings.lean
chore: backports for leanprover/lean4#4814 (part 36) (#15612)
Modified NumberField.InfinitePlace.exists_smul_eq_of_comap_eqView on Github →