Goal -- Create new parent classes for infinite towers (or more generally just infinite extensions) over Qp and Zp, e.g. maximal unramified extension, p^n roots of 1 or of p...
Type -- advanced features
Priority -- Low
Difficulty -- High
Prerequisites --
Background --
Contributors --
Progress - not started
Related Tickets --
Discussion