OAI/Analysis/FourierLLogL/Thermal/
366 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- Alarm.lean 14 declarations
- Bias.lean 8 declarations
- Flat.lean 1 declarations
- Form.lean 52 declarations
- Ginibre.lean 23 declarations
- GridFreq.lean 17 declarations
- History.lean 12 declarations
- Levels.lean 25 declarations
- Obtain.lean 10 declarations
- Order.lean 20 declarations
- Packing.lean 10 declarations
- Piece.lean 32 declarations
- Positive.lean 24 declarations
- Posterior.lean 18 declarations
- Power.lean 12 declarations
- Product.lean 12 declarations
- Reference.lean 6 declarations
- Shrink.lean 10 declarations
- Side.lean 7 declarations
- Spatial.lean 20 declarations
- Stretch.lean 6 declarations
- Tilted.lean 9 declarations
- True.lean 4 declarations
- Update.lean 14 declarations