* ''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 ==

== Tasks ==