OAI/Analysis/AncientFlat/Weighted/
155 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- ExactNormCongr.lean 2 declarations
- ExactSourceSpace.lean 12 declarations
- ExactWeightedInverse.lean 3 declarations
- ExactXNorm.lean 7 declarations
- ExactYNorm.lean 3 declarations
- WeightedCharts.lean 11 declarations
- WeightedDuhamel.lean 74 declarations
- WeightedEstimate.lean 1 declarations
- WeightedEstimateCore.lean 4 declarations
- WeightedHolder.lean 1 declarations
- WeightedLocalCore.lean 8 declarations
- WeightedPhysicalAncient.lean 1 declarations
- WeightedRescaling.lean 9 declarations
- WeightedRow.lean 1 declarations
- WeightedScaling.lean 10 declarations
- WeightedSource.lean 1 declarations
- WeightedSourceHolder.lean 2 declarations
- WeightedSpatial.lean 5 declarations