Mathlib Map

Map · 39

difference equations

MSC 39 · Difference and functional equations

37 declarations (33 theorems, 4 definitions) across 2 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.

Subareas1

  • 39A Difference equations 37

Files2

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