Ulm's theorem for countable reduced abelian p-groups

Source: url:https://github.com/elanroth/UlmsTheorem Authors: Elan Roth Status: verified Main declarations: UlmsTheorem.ulm_theorem Tags: abelian-groups, p-groups, classification-theorems, ordinal-filtrations, ulm-invariants MSC: 20K10