OAI/Analysis/HardSphere/Allocation/
490 declarations, 0 contain sorry, 0 declared as axioms; 57 files
Files
- AllocatedLinearity.lean 8 declarations
- Allocation.lean 21 declarations
- AllocationJoint.lean 6 declarations
- CertificateMeasurable.lean 5 declarations
- CertificateSix.lean 4 declarations
- CertificateSupply.lean 2 declarations
- CertificateTrialGeometry.lean 3 declarations
- CertificateUseful.lean 5 declarations
- CertificateWindow.lean 1 declarations
- CoarsePhysical.lean 19 declarations
- FinsetSeparatedNet.lean 2 declarations
- GroupJoint.lean 4 declarations
- LabelEncounterAverage.lean 3 declarations
- NearLift.lean 14 declarations
- NormalizedNearestSeparated.lean 2 declarations
- PhysicalAffinitySum.lean 10 declarations
- PhysicalAmbientRN.lean 5 declarations
- PhysicalAssembly.lean 18 declarations
- PhysicalAverageMoment.lean 7 declarations
- PhysicalBranchEstimates.lean 7 declarations
- PhysicalBranchLaw.lean 9 declarations
- PhysicalCellUniform.lean 2 declarations
- PhysicalCodedMoment.lean 3 declarations
- PhysicalDatum.lean 20 declarations
- PhysicalDisintegration.lean 7 declarations
- PhysicalFamilyLikelihood.lean 14 declarations
- PhysicalGroundSupply.lean 2 declarations
- PhysicalGroupComparison.lean 2 declarations
- PhysicalLabelLaw.lean 23 declarations
- PhysicalLifted.lean 6 declarations
- PhysicalLikelihood.lean 3 declarations
- PhysicalMidpointReference.lean 10 declarations
- PhysicalMixedObservation.lean 12 declarations
- PhysicalObservedMass.lean 10 declarations
- PhysicalObservedMixture.lean 4 declarations
- PhysicalPairedRoute.lean 7 declarations
- PhysicalPrimary.lean 19 declarations
- PhysicalProjectedPrimary.lean 1 declarations
- PhysicalReference.lean 7 declarations
- PhysicalReferenceRaw.lean 9 declarations
- PhysicalRouteAuxiliary.lean 8 declarations
- PhysicalRouteFactors.lean 18 declarations
- PhysicalRouteGeometry.lean 14 declarations
- PhysicalRouteMass.lean 5 declarations
- PhysicalSupply.lean 8 declarations
- PhysicalSupported.lean 5 declarations
- PhysicalTaggedDensity.lean 7 declarations
- PhysicalTaggedObservation.lean 9 declarations
- PhysicalTargets.lean 17 declarations
- PhysicalVertex.lean 18 declarations
- RouteCenters.lean 4 declarations
- RouteFields.lean 18 declarations
- SeparatedPhysical.lean 4 declarations
- SpatialSeparatedCloseJoint.lean 1 declarations
- TaggedReference.lean 16 declarations
- TargetSupply.lean 4 declarations
- WeightedExpose.lean 18 declarations