`OAI/Geometry/Convex/GeneralMahler/Scalar/`

1356 declarations, 0 contain sorry, 0 declared as axioms; 62 files

Folders

Tail/ 6 files, 203 declarations

Files

AllNodes.lean 1 declarations
BoxJ.lean 48 declarations
Circle.lean 30 declarations
Data.lean 15 declarations
Grid.lean 27 declarations
HBox.lean 8 declarations
HSeries.lean 15 declarations
Integr.lean 24 declarations
LapBox.lean 20 declarations
LayerAlg.lean 31 declarations
LayerProof.lean 12 declarations
Moments.lean 17 declarations
NodesTbl.lean 129 declarations
Pass.lean 41 declarations
QuantJ.lean 51 declarations
RealJ.lean 62 declarations
Regular.lean 20 declarations
Run0.lean 15 declarations
Run100.lean 15 declarations
Run120.lean 15 declarations
Run140.lean 15 declarations
Run160.lean 15 declarations
Run180.lean 15 declarations
Run20.lean 15 declarations
Run200.lean 15 declarations
Run220.lean 15 declarations
Run240.lean 15 declarations
Run260.lean 15 declarations
Run280.lean 15 declarations
Run300.lean 15 declarations
Run320.lean 15 declarations
Run340.lean 15 declarations
Run360.lean 15 declarations
Run380.lean 15 declarations
Run40.lean 15 declarations
Run400.lean 15 declarations
Run420.lean 15 declarations
Run440.lean 15 declarations
Run460.lean 15 declarations
Run480.lean 15 declarations
Run500.lean 15 declarations
Run520.lean 15 declarations
Run540.lean 15 declarations
Run560.lean 15 declarations
Run580.lean 15 declarations
Run60.lean 15 declarations
Run600.lean 15 declarations
Run620.lean 15 declarations
Run640.lean 15 declarations
Run660.lean 15 declarations
Run680.lean 15 declarations
Run700.lean 15 declarations
Run720.lean 1 declarations
Run80.lean 15 declarations
Stable.lean 41 declarations
Universal.lean 20 declarations