feat(NumberTheory/NumberField/Completion/FinitePlace): compatibility of finite places across an algebra map#41604
Open
tb65536 wants to merge 2 commits into
Open
feat(NumberTheory/NumberField/Completion/FinitePlace): compatibility of finite places across an algebra map#41604tb65536 wants to merge 2 commits into
tb65536 wants to merge 2 commits into
