Mathlib Map

Map · 22

Lie groups

MSC 22 · Topological groups, Lie groups

3,732 declarations (2,963 theorems, 769 definitions) across 58 files. 0 of the 6 famous theorems listed for this area are in Mathlib (0%). 4 open conjectures here are stated in Lean.

Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.

Subareas6

  • 22A Topological and differentiable algebraic systems 2,895
  • 22E Lie groups 254
  • 22C Compact groups 237
  • 22D Locally compact groups and their algebras 218
  • 22F Noncompact transformation groups 105
  • 22B Locally compact abelian groups (LCA groups) 23

Famous theorems0 of 6

From the 1000+ theorems project, which classifies each theorem by MSC area.

Not yet in Mathlib · 6

Open conjectures stated in Lean4

Statements without proofs, collected by the Formal Conjectures project.

Structures defined here24

Typeclasses defined in this area's files, most assumed first.

Files58

Largest first. The code after each file is its assigned subarea.