`OAI/Analysis/Triangular/`

8399 declarations, 0 contain sorry, 0 declared as axioms; 276 files

Folders

Auxiliary/ 5 files, 45 declarations
Certificate/ 64 files, 1805 declarations
Construction/ 40 files, 453 declarations
Energy/ 15 files, 254 declarations
Envelope/ 17 files, 517 declarations
Lattice/ 1 files, 11 declarations
Schwartz/ 10 files, 163 declarations
Signs/ 56 files, 2077 declarations
Taylor/ 65 files, 2998 declarations

Files

Basic.lean 68 declarations
GaussianMinorants.lean 4 declarations
Main.lean 4 declarations