`OAI/Geometry/NodalSets/`

3650 declarations, 0 contain sorry, 0 declared as axioms; 1068 files

Folders

Charts/ 261 files, 954 declarations
Coefficients/ 81 files, 289 declarations
Elliptic/ 509 files, 1841 declarations
Hausdorff/ 17 files, 33 declarations
Persistence/ 10 files, 16 declarations
SmoothLimit/ 13 files, 23 declarations
Spectral/ 57 files, 132 declarations
Waves/ 118 files, 349 declarations

Files

Main.lean 1 declarations
Model.lean 12 declarations