OAI/Analysis/HardSphere/Geometry/
1657 declarations, 0 contain sorry, 0 declared as axioms; 119 files
Files
- AddedSites.lean 14 declarations
- AllowedProjection.lean 9 declarations
- AnimalFamily.lean 12 declarations
- AuxiliaryChecks.lean 26 declarations
- AvoidanceReflectionNorm.lean 2 declarations
- BadComponent.lean 15 declarations
- BadGraph.lean 42 declarations
- BinaryValue.lean 50 declarations
- BoxWeight.lean 11 declarations
- BufferedAllowed.lean 7 declarations
- CandidateConstant.lean 9 declarations
- CenteredCircleLift.lean 20 declarations
- CoeScalar.lean 3 declarations
- ConfigurationPath.lean 38 declarations
- CoordinateLine.lean 30 declarations
- CoordinateLineConsSucc.lean 3 declarations
- CubeCell.lean 12 declarations
- DeficiencyPenalty.lean 1 declarations
- DependentChecks.lean 6 declarations
- DiscreteTorus.lean 26 declarations
- EndpointDanger.lean 26 declarations
- EndpointLift.lean 4 declarations
- EndpointsExterior.lean 9 declarations
- EnnrealTsumFinset.lean 3 declarations
- EuclideanTorus.lean 41 declarations
- ExpWeightedMultiplier.lean 19 declarations
- FilledRegion.lean 11 declarations
- FinsetEraseRecursion.lean 1 declarations
- FinsetEraseRecursion2.lean 4 declarations
- FinsetProd.lean 3 declarations
- FirstVariation.lean 14 declarations
- FlattenLinear.lean 23 declarations
- FreePathExpectation.lean 17 declarations
- FrozenChecks.lean 11 declarations
- GeneratorScalar.lean 12 declarations
- GraphLiftHeatBound.lean 1 declarations
- GridActivePenalty.lean 19 declarations
- GridAlignment.lean 14 declarations
- GridAllocation.lean 15 declarations
- GridCorner.lean 8 declarations
- GridNear.lean 2 declarations
- GroundPathWeight.lean 19 declarations
- GroundPositionLaw.lean 5 declarations
- HalfShiftCover.lean 17 declarations
- HeadLift.lean 12 declarations
- HeatScalar.lean 17 declarations
- InjectiveNear.lean 26 declarations
- InnerClmRealRight.lean 10 declarations
- IntegralConfigurationCons.lean 7 declarations
- JoinConfiguration.lean 22 declarations
- KilledAverage.lean 3 declarations
- KilledEigenvector.lean 15 declarations
- KilledObservable.lean 17 declarations
- LabelLift.lean 5 declarations
- LargeParentMarked.lean 16 declarations
- LiftedBadComponent.lean 28 declarations
- LocalAE.lean 11 declarations
- LocalCheck.lean 31 declarations
- LocalCloseLabels.lean 14 declarations
- LocalCloseLabelsMeasurable.lean 2 declarations
- LocalizedNearLabels.lean 14 declarations
- MicroCubeCover.lean 10 declarations
- MicroPeriod.lean 6 declarations
- MollifiedCloseCountMultiplier.lean 20 declarations
- MollifiedCloseJoint.lean 12 declarations
- NominalDrift.lean 19 declarations
- NormSqIntegral.lean 5 declarations
- NormSqLpIntegral.lean 2 declarations
- NormalizationDerivative.lean 2 declarations
- PairHistory.lean 45 declarations
- ParentStep.lean 11 declarations
- ParticleGradSq.lean 8 declarations
- PartitionErrorIntegral.lean 15 declarations
- PathEncounter.lean 7 declarations
- PathPermutation.lean 12 declarations
- PathSlots.lean 9 declarations
- PhysicalGeometry.lean 4 declarations
- PhysicalPathComparison.lean 2 declarations
- Point.lean 21 declarations
- PointFin.lean 23 declarations
- PositiveTimeSeqTendsto.lean 6 declarations
- RadialIndicator.lean 7 declarations
- RadiusLaw.lean 23 declarations
- RadiusPotential.lean 29 declarations
- RawAngleLift.lean 16 declarations
- RealComp.lean 2 declarations
- RoundBox.lean 30 declarations
- ScalarNormSqIntegral.lean 5 declarations
- ScalarPartitionIms.lean 14 declarations
- SelectedEnergyAddCompl.lean 15 declarations
- SelectedUnitCellPenalty.lean 17 declarations
- SharedFixed.lean 2 declarations
- SharedIdentities.lean 7 declarations
- ShiftClose.lean 1 declarations
- Sigma.lean 52 declarations
- SimplePath.lean 14 declarations
- SiteCube.lean 10 declarations
- SiteGroups.lean 5 declarations
- SliceNormSq.lean 7 declarations
- SmallComponent.lean 11 declarations
- SmoothMultiplier.lean 7 declarations
- SmoothSiteWeight.lean 24 declarations
- SmoothSpatialCountMgf.lean 2 declarations
- SparseChecks.lean 10 declarations
- SpatialGridCloseProbability.lean 1 declarations
- SpatialPartitionEnergy.lean 11 declarations
- SpatialScalarSquare.lean 4 declarations
- SqTwiceSqAbs.lean 13 declarations
- StarGraph.lean 8 declarations
- StarOffsets.lean 48 declarations
- SubcubeBase.lean 10 declarations
- SubsetPointLinear.lean 10 declarations
- TestVector.lean 11 declarations
- TorusBall.lean 12 declarations
- TorusLiftBox.lean 15 declarations
- TorusNear.lean 14 declarations
- UniformBath.lean 10 declarations
- UnitCenter.lean 5 declarations
- Vertex.lean 52 declarations