OAI/Probability/LatticeSurface/Dynamics/
387 declarations, 0 contain sorry, 0 declared as axioms; 45 files
Files
- ClusterAlgebra.lean 14 declarations
- ClusterShift.lean 75 declarations
- CompactControls.lean 7 declarations
- CompactCoupling.lean 5 declarations
- CompactOverlap.lean 14 declarations
- DisplacementInequality.lean 10 declarations
- IntervalResampling.lean 6 declarations
- JacobianIdentity.lean 10 declarations
- LatticeShift.lean 7 declarations
- LogDet.lean 7 declarations
- MatrixJacobi.lean 33 declarations
- ProjectionComparison.lean 11 declarations
- ProjectionComponent.lean 1 declarations
- ProjectionComponentEnergy.lean 2 declarations
- ProjectionComponentLimitSupport.lean 2 declarations
- ProjectionComponentMesh.lean 3 declarations
- ProjectionDerivative.lean 3 declarations
- ProjectionExistence.lean 12 declarations
- ProjectionFaces.lean 11 declarations
- ProjectionFirm.lean 3 declarations
- ProjectionGlobal.lean 2 declarations
- ProjectionKernel.lean 11 declarations
- ProjectionLimit.lean 1 declarations
- ProjectionLimitSupport.lean 7 declarations
- ProjectionMesh.lean 4 declarations
- ProjectionMixture.lean 1 declarations
- ProjectionPath.lean 2 declarations
- ProjectionPattern.lean 13 declarations
- ProjectionRestriction.lean 4 declarations
- ProjectionRestrictionMesh.lean 1 declarations
- ProjectionTail.lean 1 declarations
- ProjectionTransmission.lean 7 declarations
- ShiftAnalysis.lean 14 declarations
- ShiftAssembly.lean 30 declarations
- ShiftAsymptotics.lean 5 declarations
- ShiftData.lean 16 declarations
- ShiftProduct.lean 1 declarations
- Tilt.lean 4 declarations
- TiltApplication.lean 2 declarations
- TiltConsequences.lean 6 declarations
- TiltSupport.lean 5 declarations
- TwoStageDynamics.lean 1 declarations
- WeightedBathDefinitions.lean 7 declarations
- WeightedInitial.lean 1 declarations
- WeightedInitialSupport.lean 5 declarations