Ontify
A topological group that is isomorphic to the inverse limit of an inverse system of solvable groups.
