OAI/Geometry/Convex/GeneralMahler/
8719 declarations, 0 contain sorry, 0 declared as axioms; 302 files
Folders
- Brouwer/ 6 files, 47 declarations
- Budget/ 13 files, 218 declarations
- Frame/ 3 files, 72 declarations
- Hermite/ 6 files, 87 declarations
- Intervals/ 7 files, 170 declarations
- Linear/ 11 files, 154 declarations
- Middle/ 83 files, 5059 declarations
- Rigid/ 4 files, 18 declarations
- Scalar/ 62 files, 1356 declarations
- Segment/ 16 files, 191 declarations
Files
- Angle.lean 17 declarations
- AngleIntegral.lean 8 declarations
- Beta.lean 19 declarations
- BiWeight.lean 12 declarations
- Bias.lean 13 declarations
- BoundField.lean 19 declarations
- CDF.lean 26 declarations
- Compare.lean 19 declarations
- Cone.lean 15 declarations
- Contact.lean 27 declarations
- CovHerm.lean 14 declarations
- Cutoff.lean 4 declarations
- DefectIBP.lean 25 declarations
- DefectLayer.lean 32 declarations
- Density.lean 15 declarations
- Edge.lean 26 declarations
- EdgeBand.lean 19 declarations
- EntScalar.lean 15 declarations
- Entropy.lean 7 declarations
- EntropyMap.lean 8 declarations
- Eq13.lean 4 declarations
- Eq14.lean 2 declarations
- Eq18.lean 14 declarations
- EvalGap.lean 16 declarations
- Field.lean 25 declarations
- FormLin.lean 1 declarations
- FormSquare.lean 4 declarations
- Forms.lean 18 declarations
- GainFinal.lean 15 declarations
- GainIndent.lean 14 declarations
- GaussianTail.lean 3 declarations
- GradientLayer.lean 25 declarations
- Growth.lean 25 declarations
- HLayer.lean 14 declarations
- HMatrix.lean 30 declarations
- IBP.lean 4 declarations
- InPoint.lean 4 declarations
- InTail.lean 5 declarations
- Indicator.lean 15 declarations
- Inward.lean 4 declarations
- Kernel.lean 18 declarations
- LFun.lean 15 declarations
- Laplace.lean 6 declarations
- LayerMeasure.lean 11 declarations
- Lift.lean 30 declarations
- LinTest.lean 9 declarations
- LogDet.lean 12 declarations
- LogPath.lean 19 declarations
- LowDegree.lean 11 declarations
- Main.lean 5 declarations
- Matrix.lean 24 declarations
- MatrixBox.lean 13 declarations
- MatrixDeriv.lean 17 declarations
- Mills.lean 30 declarations
- MillsLog.lean 13 declarations
- MixedField.lean 14 declarations
- Moving.lean 11 declarations
- Normalize.lean 4 declarations
- NtLayer.lean 18 declarations
- Orthant.lean 12 declarations
- Packet.lean 31 declarations
- ParamA.lean 15 declarations
- ParamMoment.lean 8 declarations
- Parameter.lean 23 declarations
- Polar.lean 10 declarations
- Prim.lean 20 declarations
- ProfileGrowth.lean 14 declarations
- Profiles.lean 36 declarations
- Proj.lean 18 declarations
- ProjMean.lean 27 declarations
- ProjParts.lean 2 declarations
- Qprimitive.lean 17 declarations
- Rapid.lean 15 declarations
- Reduction.lean 5 declarations
- Santalo.lean 11 declarations
- ScalarForm.lean 13 declarations
- Scatter.lean 21 declarations
- ScatterField.lean 8 declarations
- ShiftBound.lean 5 declarations
- SimplexCone.lean 10 declarations
- SimplexVolume.lean 1 declarations
- Smoothing.lean 11 declarations
- Spectral.lean 14 declarations
- TestFun.lean 24 declarations
- Theorem.lean 2 declarations
- Threshold.lean 31 declarations
- TraceOrder.lean 24 declarations
- Transform.lean 12 declarations
- Update.lean 18 declarations
- Variation.lean 15 declarations
- pRapid.lean 12 declarations