L tensor K_v = \oplus_{w|v} L_w

[kbuzzard]

We need that if L/K is a finite separable extension of fields of fractions of Dedekind domains B/A, with B the integral closure of A in L, then for v a nonzero prime of A we have L tensor K_v = sum of L_w for w running over the primes above v.

Andrew Yang may be working on this in #229 . @erdOne Are you, or are you leaving this as a sorry?

[erdOne]

I think @javierlcontreras is doing this one?

[javierlcontreras]

Yep I am doing this one

[javierlcontreras]

claim

[github-actions]

This issue cannot be assigned to @javierlcontreras because it has not been added to the project board by the project maintainers.

Please consider discussing the issue on our Zulip channel. To understand the contribution process, please read the CONTRIBUTING guide.

[kbuzzard]

@javierlcontreras you can claim it now. Sorry, I hadn't added everything to the project board because I wanted to document more clearly the relationship between the issues and the sorrys.

[javierlcontreras]

claim