Mathlib Map

Map · 31

potential theory

MSC 31 · Potential theory

121 declarations (110 theorems, 11 definitions) across 8 files. The 1000+ theorems list has no entries in this area.

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

Subareas2

  • 31B Higher-dimensional potential theory 103
  • 31A Two-dimensional potential theory 18

Files8

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