People

David Roe, Jon Hanke

Progress

We've just briefly discussed some desired features of completions. There should be a coercion map from a number field to it's completion at any prime, and you should be able to create elements of a number field using weak and strong approximation.

If you have other aspects of completions you'd like to see you should add them here.