`OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/`

7770 declarations, 0 contain sorry, 0 declared as axioms; 940 files

Files

ClockPathBound.lean 4 declarations
ClockWeightedBound.lean 4 declarations
QuantumAcceptance.lean 11 declarations
QuantumAdjacentCnot.lean 3 declarations
QuantumAdjacentProgram.lean 9 declarations
QuantumAlgebraicHeight.lean 22 declarations
QuantumAlgebraicHistory.lean 23 declarations
QuantumAlgebraicScalar.lean 42 declarations
QuantumAlgebraicScalarProgram.lean 20 declarations
QuantumAnchorDensity.lean 3 declarations
QuantumAncilla.lean 8 declarations
QuantumAncillaCompression.lean 9 declarations
QuantumAncillaCount.lean 6 declarations
QuantumAxisSample.lean 15 declarations
QuantumAxisSampleAccuracy.lean 3 declarations
QuantumAxisSampleProgram.lean 14 declarations
QuantumBitTransfer.lean 7 declarations
QuantumBlockBasis.lean 4 declarations
QuantumBlockBudget.lean 5 declarations
QuantumBlockCoefficientBounds.lean 8 declarations
QuantumBlockEdges.lean 12 declarations
QuantumBlockExchange.lean 2 declarations
QuantumBlockFull.lean 7 declarations
QuantumBlockHamiltonian.lean 12 declarations
QuantumBlockRational.lean 3 declarations
QuantumBufferedArmProgram.lean 17 declarations
QuantumBufferedArms.lean 8 declarations
QuantumBufferedBounds.lean 3 declarations
QuantumBufferedCells.lean 7 declarations
QuantumBufferedCongestion.lean 6 declarations
QuantumBufferedCounts.lean 5 declarations
QuantumBufferedDetour.lean 8 declarations
QuantumBufferedDogleg.lean 10 declarations
QuantumBufferedEndpointWalk.lean 18 declarations
QuantumBufferedExtent.lean 12 declarations
QuantumBufferedFanout.lean 10 declarations
QuantumBufferedGridEdge.lean 2 declarations
QuantumBufferedIntersections.lean 6 declarations
QuantumBufferedLanes.lean 9 declarations
QuantumBufferedListProgram.lean 9 declarations
QuantumBufferedNodes.lean 8 declarations
QuantumBufferedPortChain.lean 21 declarations
QuantumBufferedPortLinks.lean 1 declarations
QuantumBufferedPortRealization.lean 3 declarations
QuantumBufferedProgram.lean 14 declarations
QuantumBufferedRay.lean 3 declarations
QuantumBufferedSharedEdge.lean 8 declarations
QuantumBufferedSourceCells.lean 2 declarations
QuantumBufferedSupport.lean 9 declarations
QuantumCellCatalogProgram.lean 13 declarations
QuantumCellCorridor.lean 12 declarations
QuantumCellCrossings.lean 6 declarations
QuantumCellMatching.lean 7 declarations
QuantumCellPassages.lean 12 declarations
QuantumCellPathProgram.lean 10 declarations
QuantumCellPathTemplates.lean 20 declarations
QuantumCellRouteCatalog.lean 18 declarations
QuantumCellRouteSupport.lean 8 declarations
QuantumCellTranslate.lean 8 declarations
QuantumCellVisitPaths.lean 7 declarations
QuantumChosenSlots.lean 10 declarations
QuantumCircuitCode.lean 26 declarations
QuantumCircuitPadding.lean 10 declarations
QuantumCircuitPauli.lean 7 declarations
QuantumCircuitPromise.lean 2 declarations
QuantumCircuitTwoLocal.lean 6 declarations
QuantumClockAnchor.lean 8 declarations
QuantumClockCells.lean 9 declarations
QuantumClockPath.lean 3 declarations
QuantumClockSector.lean 3 declarations
QuantumClockStep.lean 5 declarations
QuantumClockTransition.lean 9 declarations
QuantumCoefficientEnvelopeProgram.lean 18 declarations
QuantumCoefficientHeight.lean 6 declarations
QuantumCoefficientPrograms.lean 32 declarations
QuantumCoerciveInverse.lean 2 declarations
QuantumComputedAccuracy.lean 5 declarations
QuantumComputedCrossingBounds.lean 9 declarations
QuantumComputedCrossingRelabel.lean 3 declarations
QuantumComputedRouteSelector.lean 7 declarations
QuantumComputedRoutingTable.lean 6 declarations
QuantumCoordinateSpectrum.lean 8 declarations
QuantumCornerPatch.lean 10 declarations
QuantumCorridorEndpoints.lean 11 declarations
QuantumCorridorInterior.lean 4 declarations
QuantumCorridorSeparation.lean 3 declarations
QuantumCountedHistory.lean 7 declarations
QuantumCountertermProgram.lean 9 declarations
QuantumCountertermSample.lean 14 declarations
QuantumCrossingBounds.lean 7 declarations
QuantumCrossingCalibration.lean 3 declarations
QuantumCrossingCoefficientBound.lean 10 declarations
QuantumCrossingCompiled.lean 8 declarations
QuantumCrossingDirections.lean 2 declarations
QuantumCrossingEffective.lean 4 declarations
QuantumCrossingGraph.lean 8 declarations
QuantumCrossingListActual.lean 10 declarations
QuantumCrossingListBlock.lean 30 declarations
QuantumCrossingListFamily.lean 15 declarations
QuantumCrossingListLayer.lean 25 declarations
QuantumCrossingListMatrix.lean 13 declarations
QuantumCrossingListSupport.lean 6 declarations
QuantumCrossingMove.lean 3 declarations
QuantumCrossingOutputRoutes.lean 4 declarations
QuantumCrossingPacketBounds.lean 7 declarations
QuantumCrossingPacketEnergy.lean 4 declarations
QuantumCrossingPairSupport.lean 2 declarations
QuantumCrossingParallel.lean 2 declarations
QuantumCrossingPatch.lean 16 declarations
QuantumCrossingPatchChart.lean 1 declarations
QuantumCrossingPlacement.lean 10 declarations
QuantumCrossingPlanarRoutes.lean 5 declarations
QuantumCrossingPorts.lean 2 declarations
QuantumCrossingPositionProgram.lean 23 declarations
QuantumCrossingPositionRelabel.lean 6 declarations
QuantumCrossingRetention.lean 4 declarations
QuantumCrossingScaleProgram.lean 16 declarations
QuantumCrossingSelectCorrectness.lean 5 declarations
QuantumCrossingSelectFromSites.lean 6 declarations
QuantumCrossingSelectProgram.lean 31 declarations
QuantumCrossingSelection.lean 11 declarations
QuantumCrossingSelectionRelabel.lean 4 declarations
QuantumCrossingSelectionUnique.lean 3 declarations
QuantumCrossingSiteProgram.lean 19 declarations
QuantumCrossingSiteRelabel.lean 7 declarations
QuantumCrossingSites.lean 7 declarations
QuantumCrossingSize.lean 3 declarations
QuantumCrossingSpectrum.lean 2 declarations
QuantumCrossingSupportRelabel.lean 6 declarations
QuantumCrossingsGraph.lean 8 declarations
QuantumDefinedRealization.lean 10 declarations
QuantumDegreeReduction.lean 6 declarations
QuantumDescriptorSiteProgram.lean 11 declarations
QuantumDescriptorSites.lean 13 declarations
QuantumDiagonalTableProgram.lean 10 declarations
QuantumDiagonalTensor.lean 7 declarations
QuantumDistinctCrossings.lean 8 declarations
QuantumDistributedClock.lean 8 declarations
QuantumDistributedFamily.lean 8 declarations
QuantumDistributedGap.lean 2 declarations
QuantumDistributedInput.lean 7 declarations
QuantumDistributedMatrix.lean 10 declarations
QuantumDistributedPositive.lean 2 declarations
QuantumDistributedRebit.lean 4 declarations
QuantumDistributedSpectrum.lean 3 declarations
QuantumDistributedWitness.lean 5 declarations
QuantumEightBasis.lean 5 declarations
QuantumEndpoint.lean 12 declarations
QuantumEndpointListProgram.lean 12 declarations
QuantumEndpointPorts.lean 11 declarations
QuantumEndpointRelabel.lean 9 declarations
QuantumEntryParity.lean 10 declarations
QuantumEvenListPieces.lean 12 declarations
QuantumEvenRouteData.lean 14 declarations
QuantumEvenRouteLabels.lean 16 declarations
QuantumEvenRoutePlacement.lean 8 declarations
QuantumEvenRouteRealization.lean 5 declarations
QuantumEvenTapeGeometry.lean 28 declarations
QuantumEvenTapeOrder.lean 8 declarations
QuantumEvenTapeOutputBounds.lean 1 declarations
QuantumEvenTapeProgram.lean 33 declarations
QuantumEvenTapeWeights.lean 5 declarations
QuantumEvolution.lean 4 declarations
QuantumExchangeCrossings.lean 10 declarations
QuantumExchangeLanes.lean 10 declarations
QuantumExchangeRounding.lean 9 declarations
QuantumExchangeRoutes.lean 8 declarations
QuantumExchangeSample.lean 8 declarations
QuantumExchangeSampleProgram.lean 12 declarations
QuantumFanoutPaths.lean 9 declarations
QuantumFanoutPorts.lean 7 declarations
QuantumFieldSample.lean 9 declarations
QuantumFinalPrecision.lean 10 declarations
QuantumFinalRoutingProgram.lean 22 declarations
QuantumFineRoute.lean 12 declarations
QuantumFiniteHistory.lean 6 declarations
QuantumFiniteMembership.lean 5 declarations
QuantumFiniteRouteSearch.lean 11 declarations
QuantumFirstUse.lean 5 declarations
QuantumFirstUseProgram.lean 24 declarations
QuantumFirstUseSites.lean 6 declarations
QuantumFixedMatrixProgram.lean 11 declarations
QuantumFixedPauli.lean 16 declarations
QuantumFixedPauliProgram.lean 16 declarations
QuantumForkBackground.lean 6 declarations
QuantumForkBounds.lean 4 declarations
QuantumForkCalibration.lean 3 declarations
QuantumForkCells.lean 9 declarations
QuantumForkDegreeBound.lean 7 declarations
QuantumForkDegrees.lean 18 declarations
QuantumForkEffective.lean 4 declarations
QuantumForkGraph.lean 8 declarations
QuantumForkGridInitial.lean 17 declarations
QuantumForkGridProgram.lean 20 declarations
QuantumForkInitial.lean 13 declarations
QuantumForkInitialCells.lean 10 declarations
QuantumForkInitialLocality.lean 2 declarations
QuantumForkInitialMatrix.lean 5 declarations
QuantumForkInitialSize.lean 3 declarations
QuantumForkIteration.lean 8 declarations
QuantumForkListAccuracy.lean 5 declarations
QuantumForkListActive.lean 8 declarations
QuantumForkListBackground.lean 7 declarations
QuantumForkListBoundProgram.lean 22 declarations
QuantumForkListCalibration.lean 2 declarations
QuantumForkListCellIteration.lean 10 declarations
QuantumForkListCellLocality.lean 6 declarations
QuantumForkListCellMass.lean 6 declarations
QuantumForkListCellProgram.lean 7 declarations
QuantumForkListCells.lean 6 declarations
QuantumForkListData.lean 39 declarations
QuantumForkListDegree.lean 8 declarations
QuantumForkListDegreeIteration.lean 5 declarations
QuantumForkListEnvelope.lean 4 declarations
QuantumForkListFinalDegree.lean 7 declarations
QuantumForkListFullCells.lean 5 declarations
QuantumForkListFullDegree.lean 8 declarations
QuantumForkListGraph.lean 8 declarations
QuantumForkListIndex.lean 7 declarations
QuantumForkListInitial.lean 14 declarations
QuantumForkListInitialAccuracy.lean 2 declarations
QuantumForkListInitialBounds.lean 2 declarations
QuantumForkListInitialCalibration.lean 3 declarations
QuantumForkListInitialCellMass.lean 3 declarations
QuantumForkListInitialCells.lean 5 declarations
QuantumForkListInitialDegree.lean 4 declarations
QuantumForkListInitialMatrix.lean 3 declarations
QuantumForkListInitialPairs.lean 9 declarations
QuantumForkListInitialPhysical.lean 3 declarations
QuantumForkListInitialProgram.lean 15 declarations
QuantumForkListInitialRealization.lean 5 declarations
QuantumForkListInitialSpatial.lean 17 declarations
QuantumForkListInitialStateProgram.lean 10 declarations
QuantumForkListInitialSum.lean 5 declarations
QuantumForkListInitialWeights.lean 2 declarations
QuantumForkListIterateWeights.lean 5 declarations
QuantumForkListIteration.lean 1 declarations
QuantumForkListMatrix.lean 3 declarations
QuantumForkListNext.lean 9 declarations
QuantumForkListNextBackground.lean 5 declarations
QuantumForkListNextDegree.lean 1 declarations
QuantumForkListNextPorts.lean 5 declarations
QuantumForkListNextValid.lean 5 declarations
QuantumForkListNextWeights.lean 4 declarations
QuantumForkListOrdinal.lean 7 declarations
QuantumForkListOuter.lean 7 declarations
QuantumForkListOutputBounds.lean 4 declarations
QuantumForkListPartition.lean 7 declarations
QuantumForkListPoints.lean 10 declarations
QuantumForkListProgram.lean 15 declarations
QuantumForkListRealization.lean 6 declarations
QuantumForkListRound.lean 4 declarations
QuantumForkListScale.lean 12 declarations
QuantumForkListSites.lean 9 declarations
QuantumForkListSize.lean 12 declarations
QuantumForkListSpatialPackage.lean 9 declarations
QuantumForkListSum.lean 4 declarations
QuantumForkListWeights.lean 8 declarations
QuantumForkLocality.lean 5 declarations
QuantumForkParallel.lean 2 declarations
QuantumForkPatch.lean 11 declarations
QuantumForkPlaced.lean 9 declarations
QuantumForkPortSums.lean 2 declarations
QuantumForkPorts.lean 19 declarations
QuantumForkProgram.lean 8 declarations
QuantumForkRounds.lean 10 declarations
QuantumForkRoutingData.lean 15 declarations
QuantumForkRoutingPaths.lean 5 declarations
QuantumForkSpectrum.lean 2 declarations
QuantumForkStarGround.lean 2 declarations
QuantumForkStarIndex.lean 13 declarations
QuantumForkState.lean 5 declarations
QuantumForkStateAccuracy.lean 1 declarations
QuantumForkStateDegree.lean 8 declarations
QuantumForkStateMatrix.lean 10 declarations
QuantumForkStateNextMatrix.lean 3 declarations
QuantumForkWeightBounds.lean 4 declarations
QuantumFourAxis.lean 10 declarations
QuantumFourBasis.lean 6 declarations
QuantumFourCorrelation.lean 6 declarations
QuantumFourCorrelationCertificate.lean 50 declarations
QuantumFourCounterterm.lean 6 declarations
QuantumFourCouplingBounds.lean 3 declarations
QuantumFourCouplingScale.lean 5 declarations
QuantumFourCross.lean 8 declarations
QuantumFourDoubleGap.lean 5 declarations
QuantumFourEffective.lean 5 declarations
QuantumFourEncoding.lean 13 declarations
QuantumFourFields.lean 2 declarations
QuantumFourGapCertificate.lean 23 declarations
QuantumFourGround.lean 5 declarations
QuantumFourIsometry.lean 6 declarations
QuantumFourLogical.lean 6 declarations
QuantumFourNorm.lean 6 declarations
QuantumFourPositive.lean 12 declarations
QuantumFourProjector.lean 4 declarations
QuantumFourSpatial.lean 6 declarations
QuantumFourSpin.lean 8 declarations
QuantumFourSpinCertificate.lean 27 declarations
QuantumFourSpinTable.lean 26 declarations
QuantumFourSpinTransition.lean 3 declarations
QuantumFourStencils.lean 6 declarations
QuantumFourTensorCoefficientBounds.lean 10 declarations
QuantumFourTensorComparison.lean 4 declarations
QuantumFourTensorCompression.lean 2 declarations
QuantumFourTensorCross.lean 9 declarations
QuantumFourTensorEffective.lean 6 declarations
QuantumFourTensorEffectiveError.lean 9 declarations
QuantumFourTensorError.lean 4 declarations
QuantumFourTensorFamily.lean 5 declarations
QuantumFourTensorFamilyAccuracy.lean 5 declarations
QuantumFourTensorFamilyBounds.lean 9 declarations
QuantumFourTensorFields.lean 12 declarations
QuantumFourTensorForms.lean 15 declarations
QuantumFourTensorFullFamily.lean 6 declarations
QuantumFourTensorGap.lean 10 declarations
QuantumFourTensorGround.lean 4 declarations
QuantumFourTensorHilbert.lean 13 declarations
QuantumFourTensorInverse.lean 7 declarations
QuantumFourTensorNorm.lean 6 declarations
QuantumFourTensorOnsite.lean 10 declarations
QuantumFourTensorOperatorBounds.lean 6 declarations
QuantumFourTensorOrthogonal.lean 5 declarations
QuantumFourTensorScale.lean 3 declarations
QuantumFourTensorSpin.lean 4 declarations
QuantumFourTensorWeighted.lean 5 declarations
QuantumFourWeighted.lean 5 declarations
QuantumGadgetAlgebra.lean 6 declarations
QuantumGadgetCounterterms.lean 7 declarations
QuantumGateArrival.lean 5 declarations
QuantumGateCode.lean 12 declarations
QuantumGateEntryProgram.lean 27 declarations
QuantumGateLocality.lean 3 declarations
QuantumGateProduct.lean 5 declarations
QuantumGateScalarReduction.lean 12 declarations
QuantumGateUnitary.lean 7 declarations
QuantumGates.lean 9 declarations
QuantumGeometryPowers.lean 8 declarations
QuantumGraphCoefficientBound.lean 3 declarations
QuantumGraphDegree.lean 4 declarations
QuantumGridAcceptance.lean 10 declarations
QuantumGridCircuit.lean 5 declarations
QuantumGridColor.lean 4 declarations
QuantumGridCoordinates.lean 6 declarations
QuantumGridFrame.lean 3 declarations
QuantumGridLocality.lean 9 declarations
QuantumGridMidpoint.lean 5 declarations
QuantumGridNeighbors.lean 8 declarations
QuantumGridNeighborsFour.lean 6 declarations
QuantumGridPorts.lean 8 declarations
QuantumGridSlots.lean 7 declarations
QuantumGridWalk.lean 9 declarations
QuantumGroundComparison.lean 6 declarations
QuantumHalfCorridor.lean 13 declarations
QuantumHistory.lean 7 declarations
QuantumHistoryBitProgram.lean 19 declarations
QuantumHistoryCellProgram.lean 12 declarations
QuantumHistoryCells.lean 18 declarations
QuantumHistoryComparison.lean 19 declarations
QuantumHistoryDegree.lean 4 declarations
QuantumHistoryDelta.lean 13 declarations
QuantumHistoryDeltaProgram.lean 8 declarations
QuantumHistoryDescriptorProgram.lean 8 declarations
QuantumHistoryDescriptors.lean 8 declarations
QuantumHistoryDiagonal.lean 9 declarations
QuantumHistoryDiagonalProgram.lean 15 declarations
QuantumHistoryEnergy.lean 7 declarations
QuantumHistoryEnumeration.lean 6 declarations
QuantumHistoryFork.lean 4 declarations
QuantumHistoryHeight.lean 19 declarations
QuantumHistoryIncidence.lean 3 declarations
QuantumHistoryLattice.lean 17 declarations
QuantumHistoryLiteralCorrectness.lean 6 declarations
QuantumHistoryLiteralPromise.lean 1 declarations
QuantumHistoryMatrix.lean 7 declarations
QuantumHistoryMatrixForm.lean 6 declarations
QuantumHistoryOutputBounds.lean 8 declarations
QuantumHistoryParameterBounds.lean 8 declarations
QuantumHistoryPrecisionProgram.lean 23 declarations
QuantumHistoryPreparedProgram.lean 29 declarations
QuantumHistoryRawCells.lean 10 declarations
QuantumHistoryRoutedEnergy.lean 6 declarations
QuantumHistoryRoutingProgram.lean 8 declarations
QuantumHistorySamplerProgram.lean 12 declarations
QuantumHistorySampling.lean 6 declarations
QuantumHistorySiteProgram.lean 13 declarations
QuantumHistorySizeBounds.lean 8 declarations
QuantumHistorySourcePowers.lean 1 declarations
QuantumHistorySourceProgram.lean 9 declarations
QuantumHistorySourcePromise.lean 2 declarations
QuantumHistorySpatial.lean 9 declarations
QuantumHistorySpatialProgram.lean 13 declarations
QuantumHistorySpectrum.lean 8 declarations
QuantumHistoryTableCorrectness.lean 4 declarations
QuantumHistoryTableProgram.lean 14 declarations
QuantumHistoryThreeLocal.lean 13 declarations
QuantumHistoryThreeLocalEnergy.lean 9 declarations
QuantumHistoryWitness.lean 6 declarations
QuantumHistoryXZ.lean 15 declarations
QuantumHistoryXZBounds.lean 5 declarations
QuantumHistoryXZPromise.lean 10 declarations
QuantumInflatedListProgram.lean 14 declarations
QuantumInflatedPath.lean 9 declarations
QuantumInflatedSeparation.lean 2 declarations
QuantumInnerPorts.lean 17 declarations
QuantumInputProjection.lean 3 declarations
QuantumInternalHalfSeparation.lean 4 declarations
QuantumInternalRouteSeparation.lean 8 declarations
QuantumLaneSupport.lean 8 declarations
QuantumLaneUnaryProgram.lean 2 declarations
QuantumLatticeCoefficient.lean 6 declarations
QuantumLatticeEncoding.lean 12 declarations
QuantumLatticeEnvelope.lean 13 declarations
QuantumLatticePromise.lean 8 declarations
QuantumLatticeSerialization.lean 18 declarations
QuantumLatticeSource.lean 9 declarations
QuantumLatticeSourceBounds.lean 2 declarations
QuantumListGraph.lean 8 declarations
QuantumListLattice.lean 9 declarations
QuantumListLatticeProgram.lean 11 declarations
QuantumListMerge.lean 15 declarations
QuantumListMergeMatrix.lean 7 declarations
QuantumListMergeProgram.lean 9 declarations
QuantumListMergeProperties.lean 6 declarations
QuantumListPathAccuracy.lean 5 declarations
QuantumListPathInput.lean 4 declarations
QuantumListPathMatrix.lean 16 declarations
QuantumListPathProgram.lean 36 declarations
QuantumListPathStep.lean 30 declarations
QuantumListRouteLattice.lean 15 declarations
QuantumListRouteMatching.lean 3 declarations
QuantumListRouteNextPoint.lean 9 declarations
QuantumListRouteNextPosition.lean 7 declarations
QuantumListRouteNextWork.lean 5 declarations
QuantumListRouteOutputBounds.lean 1 declarations
QuantumListRouteOutputProgram.lean 4 declarations
QuantumListRoutePathOrder.lean 6 declarations
QuantumListRoutePieces.lean 4 declarations
QuantumListRoutePreservation.lean 7 declarations
QuantumListRouteProgram.lean 37 declarations
QuantumListRouteRepresentation.lean 5 declarations
QuantumListRouteSelection.lean 7 declarations
QuantumListSchedule.lean 24 declarations
QuantumListScheduleBounds.lean 4 declarations
QuantumListScheduleGeometry.lean 24 declarations
QuantumListScheduleGraph.lean 17 declarations
QuantumListScheduleLabels.lean 5 declarations
QuantumListScheduleOrder.lean 9 declarations
QuantumListScheduleProgram.lean 42 declarations
QuantumListScheduleRealization.lean 7 declarations
QuantumListScheduleRelabel.lean 2 declarations
QuantumListScheduleScale.lean 5 declarations
QuantumListScheduleWeights.lean 4 declarations
QuantumLocalAction.lean 6 declarations
QuantumLocalCoordinates.lean 3 declarations
QuantumLocalCore.lean 8 declarations
QuantumLocalDecomposition.lean 9 declarations
QuantumLocalEnlarge.lean 2 declarations
QuantumLocalError.lean 4 declarations
QuantumLocalFamily.lean 8 declarations
QuantumLocalInput.lean 5 declarations
QuantumLocalJoin.lean 4 declarations
QuantumLocalLift.lean 14 declarations
QuantumLocalModel.lean 7 declarations
QuantumLocalPathClearance.lean 8 declarations
QuantumLocalPauli.lean 11 declarations
QuantumLocalPenalties.lean 14 declarations
QuantumLocalPropagation.lean 9 declarations
QuantumLocalRealification.lean 6 declarations
QuantumLocalSubdivision.lean 2 declarations
QuantumLocalSupported.lean 1 declarations
QuantumLocalTensor.lean 3 declarations
QuantumLocalThird.lean 2 declarations
QuantumLocalThirdSupported.lean 1 declarations
QuantumManhattanListProgram.lean 6 declarations
QuantumManhattanRoute.lean 18 declarations
QuantumManhattanSupport.lean 6 declarations
QuantumMappedGate.lean 4 declarations
QuantumMask.lean 7 declarations
QuantumMatrixError.lean 1 declarations
QuantumMediatorGeometry.lean 2 declarations
QuantumMergeEdges.lean 13 declarations
QuantumMergedCoefficientBounds.lean 7 declarations
QuantumMergedEndpointPairs.lean 4 declarations
QuantumMergedOutputRoutes.lean 12 declarations
QuantumMergedSupport.lean 14 declarations
QuantumNearestCircuit.lean 7 declarations
QuantumNearestGate.lean 6 declarations
QuantumNearestProgram.lean 14 declarations
QuantumOddPathGeometry.lean 10 declarations
QuantumOffsetProgram.lean 5 declarations
QuantumOffsetSample.lean 8 declarations
QuantumOperatorQuadratic.lean 5 declarations
QuantumOrderedCellProgram.lean 11 declarations
QuantumOrderedCellTable.lean 5 declarations
QuantumOrderedCoefficient.lean 17 declarations
QuantumOrderedDescriptorProgram.lean 14 declarations
QuantumOrderedDescriptors.lean 8 declarations
QuantumOrderedFinalBounds.lean 10 declarations
QuantumOrderedHistory.lean 5 declarations
QuantumOrderedIncidence.lean 14 declarations
QuantumOrderedLabelBlocks.lean 20 declarations
QuantumOrderedLabelCompile.lean 19 declarations
QuantumOrderedLabelCorrectness.lean 5 declarations
QuantumOrderedLabelData.lean 11 declarations
QuantumOrderedLabelEnergy.lean 5 declarations
QuantumOrderedLabelFamily.lean 26 declarations
QuantumOrderedLabelOutput.lean 15 declarations
QuantumOrderedLabelPacking.lean 10 declarations
QuantumOrderedLabelPipeline.lean 17 declarations
QuantumOrderedLabelProgram.lean 18 declarations
QuantumOrderedLabelSubdivision.lean 7 declarations
QuantumOrderedLabelTable.lean 9 declarations
QuantumOrderedLabelThird.lean 7 declarations
QuantumOrderedLabelYY.lean 8 declarations
QuantumOrderedModel.lean 6 declarations
QuantumOrderedOutputBounds.lean 4 declarations
QuantumOrderedOutputSpatial.lean 5 declarations
QuantumOrderedPrivate.lean 9 declarations
QuantumOrderedPrivateSpatial.lean 5 declarations
QuantumOrderedRawBlock.lean 5 declarations
QuantumOrderedRawCells.lean 4 declarations
QuantumOrderedRawPacking.lean 9 declarations
QuantumOrderedRawPackingProgram.lean 20 declarations
QuantumOrderedReference.lean 6 declarations
QuantumOrderedSampling.lean 10 declarations
QuantumOrderedSourceIndex.lean 13 declarations
QuantumOrderedSpatial.lean 18 declarations
QuantumOrderedSpatialComplete.lean 19 declarations
QuantumOrderedSpatialSites.lean 6 declarations
QuantumOrderedSplit.lean 13 declarations
QuantumOrderedSubdivision.lean 10 declarations
QuantumOrderedSupport.lean 25 declarations
QuantumOrderedTable.lean 5 declarations
QuantumOrderedThird.lean 6 declarations
QuantumOrderedThirdSites.lean 5 declarations
QuantumOrderedThirdXZ.lean 1 declarations
QuantumOrderedTriple.lean 8 declarations
QuantumOrderedTripleFactors.lean 8 declarations
QuantumOrderedTwoStage.lean 12 declarations
QuantumOrderedWeightBounds.lean 17 declarations
QuantumOrderedWeightProgram.lean 35 declarations
QuantumOrderedXZEnergy.lean 11 declarations
QuantumOrderedXZPipeline.lean 39 declarations
QuantumOrderedXZTerm.lean 8 declarations
QuantumOrderedYYFactors.lean 4 declarations
QuantumOrderedYYReduction.lean 8 declarations
QuantumOrdinalPlacement.lean 4 declarations
QuantumOrdinalProgram.lean 14 declarations
QuantumOrdinalSlots.lean 7 declarations
QuantumOrdinalSpatial.lean 6 declarations
QuantumPackedSchedule.lean 9 declarations
QuantumPacketGeometry.lean 1 declarations
QuantumPacketRoutingGeometry.lean 2 declarations
QuantumPaddedBasis.lean 12 declarations
QuantumPaddedEvolution.lean 4 declarations
QuantumPaddedGate.lean 4 declarations
QuantumPaddedHistory.lean 13 declarations
QuantumPaddedInput.lean 7 declarations
QuantumPaddedLabelData.lean 4 declarations
QuantumPaddedLabelEnergy.lean 5 declarations
QuantumPaddedLabelMeaning.lean 2 declarations
QuantumPaddedLabelProgram.lean 17 declarations
QuantumPaddedLabelTable.lean 9 declarations
QuantumPaddedLocal.lean 8 declarations
QuantumPaddedPacketProgram.lean 15 declarations
QuantumPaddedPauli.lean 14 declarations
QuantumPaddedSampling.lean 8 declarations
QuantumPaddedTableProgram.lean 16 declarations
QuantumPairDedup.lean 8 declarations
QuantumParallelGraph.lean 8 declarations
QuantumParallelRouteSearch.lean 4 declarations
QuantumPartialPaths.lean 17 declarations
QuantumPatchEdgeCover.lean 4 declarations
QuantumPatchPhysical.lean 6 declarations
QuantumPatchPoints.lean 13 declarations
QuantumPatchSeparation.lean 8 declarations
QuantumPathCoverage.lean 6 declarations
QuantumPathCoverageReverse.lean 2 declarations
QuantumPathDegrees.lean 3 declarations
QuantumPathEmbedding.lean 10 declarations
QuantumPathIteratedBound.lean 4 declarations
QuantumPathPatch.lean 6 declarations
QuantumPathPieces.lean 10 declarations
QuantumPathPlacement.lean 8 declarations
QuantumPathPolynomialBound.lean 6 declarations
QuantumPathProgram.lean 14 declarations
QuantumPathRelabeling.lean 6 declarations
QuantumPathRelabelingIteration.lean 7 declarations
QuantumPathRelabelingNext.lean 12 declarations
QuantumPathRelabelingProperties.lean 2 declarations
QuantumPathScaleProgram.lean 14 declarations
QuantumPathSchedule.lean 14 declarations
QuantumPathScheduleSize.lean 2 declarations
QuantumPathSpectrum.lean 1 declarations
QuantumPathSubdivision.lean 4 declarations
QuantumPathTable.lean 11 declarations
QuantumPathVisitCorrectness.lean 7 declarations
QuantumPathVisitProgram.lean 10 declarations
QuantumPathWeightBounds.lean 4 declarations
QuantumPathsCalibration.lean 3 declarations
QuantumPathsGraph.lean 5 declarations
QuantumPathsParallel.lean 4 declarations
QuantumPauliAlgebra.lean 6 declarations
QuantumPauliBasis.lean 6 declarations
QuantumPauliCongestion.lean 2 declarations
QuantumPauliExpansion.lean 2 declarations
QuantumPauliExtend.lean 4 declarations
QuantumPauliLocal.lean 6 declarations
QuantumPauliMonomial.lean 5 declarations
QuantumPauliParity.lean 6 declarations
QuantumPauliProduct.lean 4 declarations
QuantumPauliReal.lean 3 declarations
QuantumPauliRounding.lean 6 declarations
QuantumPauliSingle.lean 6 declarations
QuantumPauliSplit.lean 6 declarations
QuantumPauliSubdivision.lean 1 declarations
QuantumPauliThird.lean 1 declarations
QuantumPauliTripleSplit.lean 4 declarations
QuantumPermittedEndpointAvoidance.lean 1 declarations
QuantumPermittedRouteSeparation.lean 4 declarations
QuantumPhysicalCells.lean 8 declarations
QuantumPhysicalEndpointCover.lean 4 declarations
QuantumPinnedClock.lean 9 declarations
QuantumPlanarDegree.lean 9 declarations
QuantumPlanarListData.lean 7 declarations
QuantumPlanarRelabel.lean 14 declarations
QuantumPlanarRouteData.lean 7 declarations
QuantumPlanarRouteRealization.lean 4 declarations
QuantumPlanarSelectorTransport.lean 14 declarations
QuantumPlanarTapeGeometry.lean 13 declarations
QuantumPlanarTapeProgram.lean 20 declarations
QuantumPlanarTapeSupport.lean 10 declarations
QuantumPolarizedSubdivision.lean 11 declarations
QuantumPolarizedThird.lean 6 declarations
QuantumPolynomialUnary.lean 1 declarations
QuantumPortCellPositive.lean 6 declarations
QuantumPortChain.lean 11 declarations
QuantumPortChainActual.lean 11 declarations
QuantumPortChainBounds.lean 2 declarations
QuantumPortChainProgram.lean 16 declarations
QuantumPortChainSeparation.lean 2 declarations
QuantumPortCrossingSelection.lean 8 declarations
QuantumPortGraphPairs.lean 2 declarations
QuantumPortInnerPair.lean 1 declarations
QuantumPortLinks.lean 5 declarations
QuantumPortPairing.lean 4 declarations
QuantumPortPlanarRealization.lean 1 declarations
QuantumPortRank.lean 3 declarations
QuantumPortRankActual.lean 2 declarations
QuantumPortRankProgram.lean 9 declarations
QuantumPortRaySupport.lean 5 declarations
QuantumPortRouteData.lean 4 declarations
QuantumPortScheduleActual.lean 5 declarations
QuantumPortSchedulePacking.lean 7 declarations
QuantumPortScheduleTape.lean 15 declarations
QuantumPortSelectionProgram.lean 3 declarations
QuantumPortSpinCoverage.lean 4 declarations
QuantumPrefix.lean 11 declarations
QuantumPreparedCircuit.lean 12 declarations
QuantumPreparedLattice.lean 5 declarations
QuantumPreparedVerifier.lean 5 declarations
QuantumPrivateAccuracy.lean 5 declarations
QuantumPrivateCompiler.lean 7 declarations
QuantumPrivateFamily.lean 5 declarations
QuantumPrivateList.lean 27 declarations
QuantumPrivateProgram.lean 30 declarations
QuantumPrivateRaw.lean 7 declarations
QuantumPrivateSupported.lean 1 declarations
QuantumPrivateTerms.lean 15 declarations
QuantumPromisePowers.lean 6 declarations
QuantumPropagationAction.lean 4 declarations
QuantumPropagationOrder.lean 13 declarations
QuantumPropagationSampler.lean 16 declarations
QuantumPropagationSupport.lean 11 declarations
QuantumPropagationTable.lean 12 declarations
QuantumQuadratic.lean 5 declarations
QuantumQuadraticReindex.lean 2 declarations
QuantumRationalCrossing.lean 9 declarations
QuantumRationalDegreeReduction.lean 6 declarations
QuantumRationalFork.lean 11 declarations
QuantumRationalPathStep.lean 8 declarations
QuantumRationalSpatialPackage.lean 3 declarations
QuantumRawCellDensity.lean 4 declarations
QuantumRawCellLocality.lean 4 declarations
QuantumRawCoefficientBounds.lean 4 declarations
QuantumRawCompiler.lean 13 declarations
QuantumRawCorrectness.lean 11 declarations
QuantumRawEnvelope.lean 9 declarations
QuantumRawExchange.lean 15 declarations
QuantumRawFamilyCorrectness.lean 6 declarations
QuantumRawFamilyProgram.lean 36 declarations
QuantumRawIncidence.lean 13 declarations
QuantumRawOutputBounds.lean 9 declarations
QuantumRawOutputSize.lean 6 declarations
QuantumRawProgram.lean 30 declarations
QuantumRawSchedule.lean 43 declarations
QuantumRawTermProgram.lean 12 declarations
QuantumRealCircuit.lean 7 declarations
QuantumRealLocalFamily.lean 13 declarations
QuantumRealification.lean 8 declarations
QuantumRebitDiagonal.lean 6 declarations
QuantumRebitLocal.lean 8 declarations
QuantumRebitSoundness.lean 10 declarations
QuantumRectangularOperator.lean 13 declarations
QuantumReferenceBasis.lean 11 declarations
QuantumReferenceBlocks.lean 8 declarations
QuantumReferenceComparison.lean 7 declarations
QuantumReferenceCongestion.lean 4 declarations
QuantumReferenceEdgeTable.lean 11 declarations
QuantumReferenceEdges.lean 9 declarations
QuantumReferenceFamily.lean 6 declarations
QuantumReferenceHistory.lean 4 declarations
QuantumReferenceLocal.lean 10 declarations
QuantumReferenceLower.lean 4 declarations
QuantumReferenceModel.lean 7 declarations
QuantumReferencePenalty.lean 7 declarations
QuantumReferenceReal.lean 9 declarations
QuantumReferenceTensor.lean 5 declarations
QuantumReferenceTerms.lean 9 declarations
QuantumReferenceWalls.lean 7 declarations
QuantumRetainedCrossing.lean 5 declarations
QuantumRetainedGeometry.lean 3 declarations
QuantumRetainedRoutes.lean 6 declarations
QuantumRetainedSupport.lean 2 declarations
QuantumRouteCandidates.lean 2 declarations
QuantumRouteCongestion.lean 4 declarations
QuantumRouteEnumeration.lean 11 declarations
QuantumRouteLanes.lean 10 declarations
QuantumRouteLeaf.lean 10 declarations
QuantumRouteLeafProgram.lean 13 declarations
QuantumRoutePermissionCongr.lean 2 declarations
QuantumRouteProgram.lean 28 declarations
QuantumRouteSelectorCorrectness.lean 4 declarations
QuantumRouteSelectorProgram.lean 13 declarations
QuantumRoutedSubdivision.lean 5 declarations
QuantumRoutingBlocks.lean 5 declarations
QuantumRoutingCrossingTest.lean 7 declarations
QuantumRoutingFamily.lean 13 declarations
QuantumRoutingForms.lean 5 declarations
QuantumRoutingGraph.lean 7 declarations
QuantumRoutingInputActual.lean 9 declarations
QuantumRoutingInputProgram.lean 22 declarations
QuantumRoutingPhysical.lean 5 declarations
QuantumRoutingProgram.lean 21 declarations
QuantumRoutingScale.lean 3 declarations
QuantumRoutingSize.lean 7 declarations
QuantumRoutingSpectrum.lean 3 declarations
QuantumRoutingTable.lean 16 declarations
QuantumRoutingTableCorrectness.lean 6 declarations
QuantumRowInsertion.lean 7 declarations
QuantumRowOrder.lean 2 declarations
QuantumRowStageBounds.lean 2 declarations
QuantumRowStageSupport.lean 4 declarations
QuantumRowTransfer.lean 8 declarations
QuantumSampleAssembly.lean 17 declarations
QuantumSampleBudget.lean 5 declarations
QuantumSamplePrecision.lean 9 declarations
QuantumScalarFaithful.lean 4 declarations
QuantumScalarReindex.lean 8 declarations
QuantumScaledDirection.lean 5 declarations
QuantumScaledEdge.lean 6 declarations
QuantumScheduleCrossingGeometry.lean 11 declarations
QuantumSelectedRoute.lean 7 declarations
QuantumSingletStar.lean 9 declarations
QuantumSingletStarBounds.lean 8 declarations
QuantumSingletStarSpectrum.lean 2 declarations
QuantumSortedTime.lean 3 declarations
QuantumSoundness.lean 1 declarations
QuantumSpacedListProgram.lean 11 declarations
QuantumSparseEndpoint.lean 4 declarations
QuantumSparseFirstUse.lean 10 declarations
QuantumSpatialCircuit.lean 1 declarations
QuantumSpatialClockTerms.lean 3 declarations
QuantumSpatialCrossingGeometry.lean 10 declarations
QuantumSpatialCrossingProgram.lean 22 declarations
QuantumSpatialCrossingSupport.lean 1 declarations
QuantumSpatialDegreeReduction.lean 12 declarations
QuantumSpatialDegreeThree.lean 1 declarations
QuantumSpatialExchange.lean 5 declarations
QuantumSpatialExchangeCircuit.lean 3 declarations
QuantumSpatialExchangeModel.lean 1 declarations
QuantumSpatialFinalCount.lean 6 declarations
QuantumSpatialFinalEnergy.lean 6 declarations
QuantumSpatialFinalGeometry.lean 1 declarations
QuantumSpatialGadgets.lean 2 declarations
QuantumSpatialInput.lean 1 declarations
QuantumSpatialInputBounds.lean 3 declarations
QuantumSpatialInputTape.lean 8 declarations
QuantumSpatialLattice.lean 11 declarations
QuantumSpatialModel.lean 2 declarations
QuantumSpatialOccupancy.lean 6 declarations
QuantumSpatialPlaced.lean 4 declarations
QuantumSpatialPlanarBounds.lean 1 declarations
QuantumSpatialPlanarRealization.lean 2 declarations
QuantumSpatialPortBounds.lean 4 declarations
QuantumSpatialPortMatching.lean 2 declarations
QuantumSpatialPortProgram.lean 12 declarations
QuantumSpatialPrivate.lean 1 declarations
QuantumSpatialPropagation.lean 1 declarations
QuantumSpatialRational.lean 2 declarations
QuantumSpatialReference.lean 5 declarations
QuantumSpatialReindex.lean 5 declarations
QuantumSpatialRoutingTape.lean 3 declarations
QuantumSpatialSlotProgram.lean 8 declarations
QuantumSpatialSourcePromise.lean 1 declarations
QuantumSpatialSubdivision.lean 2 declarations
QuantumSpatialTerms.lean 2 declarations
QuantumSpatialThird.lean 1 declarations
QuantumSpatialTotal.lean 4 declarations
QuantumSpatialXZ.lean 3 declarations
QuantumSpatialXZBounds.lean 4 declarations
QuantumSpecifiedLattice.lean 11 declarations
QuantumStageIndex.lean 1 declarations
QuantumStagePath.lean 8 declarations
QuantumStageStep.lean 6 declarations
QuantumSubdivisionSites.lean 8 declarations
QuantumSupportDedup.lean 8 declarations
QuantumSupportLookup.lean 18 declarations
QuantumSupportedSubdivision.lean 1 declarations
QuantumSupportedThird.lean 1 declarations
QuantumSwapConjugation.lean 3 declarations
QuantumSweepCellProgram.lean 9 declarations
QuantumSweepCells.lean 15 declarations
QuantumSweepCircuit.lean 8 declarations
QuantumSweepCongestion.lean 7 declarations
QuantumSweepCoverage.lean 5 declarations
QuantumSweepCursor.lean 7 declarations
QuantumSweepEndpoint.lean 2 declarations
QuantumSweepIndex.lean 14 declarations
QuantumSweepListProgram.lean 10 declarations
QuantumSweepProgram.lean 16 declarations
QuantumTaggedRouteProgram.lean 17 declarations
QuantumTaggedStage.lean 4 declarations
QuantumTaggedSupport.lean 3 declarations
QuantumTaggedSweep.lean 5 declarations
QuantumTaggedTransfer.lean 4 declarations
QuantumTensorAction.lean 6 declarations
QuantumTensorMatrix.lean 15 declarations
QuantumTensorPair.lean 7 declarations
QuantumTensorPairLinear.lean 5 declarations
QuantumTensorSucc.lean 6 declarations
QuantumTermTime.lean 11 declarations
QuantumThirdCounterterm.lean 4 declarations
QuantumTimeCongestion.lean 3 declarations
QuantumTimeGrouping.lean 6 declarations
QuantumTransferGate.lean 4 declarations
QuantumTransferIndex.lean 3 declarations
QuantumTransferSweep.lean 8 declarations
QuantumTranslatedInternalSeparation.lean 4 declarations
QuantumTranslatedPatch.lean 13 declarations
QuantumTripleSupported.lean 1 declarations
QuantumUnaryClock.lean 4 declarations
QuantumUnaryEmbedding.lean 10 declarations
QuantumUnaryEmbeddingEnergy.lean 7 declarations
QuantumUnaryEnergy.lean 10 declarations
QuantumUnaryForm.lean 11 declarations
QuantumUnaryMatrix.lean 10 declarations
QuantumUnaryPenalty.lean 6 declarations
QuantumUnaryPrefix.lean 12 declarations
QuantumUnaryPrefixCertificate.lean 9 declarations
QuantumUnaryPrefixRun.lean 15 declarations
QuantumUnaryPrefixTransfers.lean 5 declarations
QuantumUnarySoundness.lean 2 declarations
QuantumUnarySpectrum.lean 4 declarations
QuantumUnitaryGround.lean 2 declarations
QuantumUntouchedInput.lean 5 declarations
QuantumVerifier.lean 24 declarations
QuantumWalkErasure.lean 10 declarations
QuantumWalkErasureProgram.lean 6 declarations
QuantumWalkSeek.lean 8 declarations
QuantumWalkSupport.lean 9 declarations
QuantumWireGrid.lean 10 declarations
QuantumWireIntertwining.lean 6 declarations
QuantumWireRelabel.lean 9 declarations
QuantumWireRouting.lean 7 declarations
QuantumWireState.lean 4 declarations
QuantumWireSwap.lean 8 declarations
QuantumXZEnvelopes.lean 4 declarations
QuantumXZFamily.lean 9 declarations
QuantumXZFamilySplit.lean 22 declarations
QuantumXZHeisenberg.lean 4 declarations
QuantumXZModel.lean 2 declarations
QuantumXZPrivate.lean 5 declarations
QuantumXZReduction.lean 2 declarations
QuantumXZSample.lean 8 declarations
QuantumXZScalarSample.lean 4 declarations
QuantumXZSubdivision.lean 6 declarations
QuantumXZSupportFactors.lean 3 declarations
QuantumXZSupported.lean 1 declarations
QuantumXZTerms.lean 8 declarations
QuantumXZThird.lean 6 declarations
QuantumXZThirdSupported.lean 1 declarations
QuantumXZTriple.lean 2 declarations
QuantumYYElimination.lean 3 declarations
QuantumYYFactor.lean 5 declarations
QuantumYYReduction.lean 2 declarations
QuantumYYSupported.lean 1 declarations
QubitMediatorAncilla.lean 17 declarations
QubitMediatorBounds.lean 5 declarations
QubitMediatorForms.lean 11 declarations
QubitMediatorGround.lean 1 declarations
QubitMediatorHilbert.lean 10 declarations
QubitMediatorMatrix.lean 13 declarations
QubitMediatorNorm.lean 8 declarations
QubitMediatorNormBounds.lean 5 declarations
QubitMediatorPenalty.lean 11 declarations
QubitMediatorPhysical.lean 10 declarations
QubitMediatorProjection.lean 11 declarations
QubitMediatorSeriesError.lean 3 declarations
QubitMediatorSeriesMatrix.lean 6 declarations
QubitMediatorTargetGround.lean 2 declarations
QubitMediatorThirdForm.lean 2 declarations
QubitMediatorTrial.lean 5 declarations
QubitPhase.lean 13 declarations
QubitPhaseLocal.lean 7 declarations
QubitPhasePhysical.lean 10 declarations
QubitPhysicalComparison.lean 1 declarations
QubitSubdivisionCalibration.lean 1 declarations
QubitSubdivisionDecomposition.lean 5 declarations
QubitSubdivisionEnvelope.lean 7 declarations
QubitSubdivisionGadget.lean 1 declarations
QubitSubdivisionGround.lean 2 declarations
QubitSubdivisionHermitian.lean 5 declarations
QubitSubdivisionLocalFamily.lean 9 declarations
QubitSubdivisionMatrix.lean 7 declarations
QubitSubdivisionNorm.lean 9 declarations
QubitSubdivisionReal.lean 10 declarations
QubitSubdivisionScale.lean 3 declarations
QubitThirdCalibration.lean 1 declarations
QubitThirdDecomposition.lean 5 declarations
QubitThirdEnvelope.lean 4 declarations
QubitThirdFamilyBounds.lean 8 declarations
QubitThirdGadget.lean 3 declarations
QubitThirdHermitian.lean 3 declarations
QubitThirdLocalFamily.lean 6 declarations
QubitThirdLocality.lean 6 declarations
QubitThirdNormBudget.lean 7 declarations
QubitThirdPhased.lean 7 declarations
QubitThirdPhasedLocal.lean 4 declarations