Group theory

The Formal Frontier libraries on group theory, one section each.

• General linear groups
• Group theory
• Profinite groups
• Supernatural numbers

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.