Mathlib Map

Map · 08

general algebraic systems

MSC 08 · General algebraic systems

1,245 declarations (1,043 theorems, 202 definitions) across 28 files. The 1000+ theorems list has no entries in this area. 2 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.

Subareas1

  • 08A Algebraic structures 1,245

Open conjectures stated in Lean2

Statements without proofs, collected by the Formal Conjectures project.

Structures defined here18

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

Files28

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