feat(NumberTheory/Height/NumberField): comparison of heights across extensions of number fields#41606

tb65536 wants to merge 8 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_abshttb65536/mathlib4:tb_abshtCopy head branch name to clipboard