Mathlib Map

Map · 33

special functions

MSC 33 · Special functions

784 declarations (720 theorems, 64 definitions) across 26 files. 0 of the 2 famous theorems listed for this area are in Mathlib (0%). 32 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.

Subareas3

  • 33B Elementary classical functions 521
  • 33C Hypergeometric functions 135
  • 33E Other special functions 128

Famous theorems0 of 2

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

Not yet in Mathlib · 2

Open conjectures stated in Lean32

Statements without proofs, collected by the Formal Conjectures project.

Files26

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