`OAI/Analysis/Conductivity/`

4807 declarations, 0 contain sorry, 0 declared as axioms; 595 files

Folders

Branching/ 73 files, 696 declarations
Flux/ 64 files, 478 declarations
Fourier/ 81 files, 695 declarations
Geometry/ 61 files, 427 declarations
Scalarization/ 22 files, 90 declarations
Sobolev/ 66 files, 546 declarations
Sources/ 39 files, 352 declarations
Variational/ 153 files, 1279 declarations
Walls/ 34 files, 218 declarations

Files

Main.lean 3 declarations
Model.lean 23 declarations