OAI/Analysis/Triangular/Signs/
2077 declarations, 0 contain sorry, 0 declared as axioms; 56 files
Files
- DeletedAccuracy.lean 10 declarations
- DeletedExponential.lean 6 declarations
- DeletedJets.lean 11 declarations
- DeletedQuotient.lean 7 declarations
- Exceptional.lean 12 declarations
- ExceptionalComparison.lean 4 declarations
- ExceptionalInterval.lean 14 declarations
- ExceptionalSign0.lean 98 declarations
- ExceptionalSign1.lean 98 declarations
- ExceptionalSign2.lean 98 declarations
- ExceptionalSign3.lean 98 declarations
- FarSigns.lean 8 declarations
- GaussianDeleted.lean 15 declarations
- NearSigns.lean 6 declarations
- OrdinaryComparison.lean 6 declarations
- RemainderBoxes.lean 11 declarations
- RemainderData0.lean 16 declarations
- RemainderData1.lean 16 declarations
- RemainderData2.lean 16 declarations
- RemainderData3.lean 16 declarations
- RemainderData4.lean 16 declarations
- RemainderData5.lean 16 declarations
- RemainderData6.lean 16 declarations
- RemainderNorm.lean 14 declarations
- RemainderPre.lean 3 declarations
- RemainderSums0.lean 13 declarations
- RemainderSums1.lean 13 declarations
- RemainderSums2.lean 13 declarations
- RemainderSums3.lean 13 declarations
- RemainderSums4.lean 13 declarations
- RemainderSums5.lean 13 declarations
- RemainderSums6.lean 13 declarations
- SignBase.lean 8 declarations
- Signs00.lean 46 declarations
- Signs01.lean 92 declarations
- Signs02.lean 92 declarations
- Signs03.lean 92 declarations
- Signs04.lean 92 declarations
- Signs05.lean 92 declarations
- Signs06.lean 92 declarations
- Signs10.lean 92 declarations
- Signs11.lean 92 declarations
- Signs12.lean 92 declarations
- Signs13.lean 92 declarations
- Signs14.lean 92 declarations
- Signs15.lean 92 declarations
- Signs16.lean 92 declarations
- SineBarrierBase.lean 10 declarations
- SineGlobal.lean 6 declarations
- SineGrid0.lean 20 declarations
- SineGrid1.lean 20 declarations
- SineGrid2.lean 20 declarations
- SineGridAnalytic.lean 8 declarations
- SineGridChecks.lean 2 declarations
- SineGridCover.lean 6 declarations
- SineGridDefs.lean 13 declarations