OAI/Analysis/Pureness/Traces/
69 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- ContinuousDimensionIntegral.lean 3 declarations
- DimensionContent.lean 6 declarations
- DimensionContentMeasure.lean 3 declarations
- DimensionContentRecovery.lean 2 declarations
- RootFunctoriality.lean 4 declarations
- TraceCyclicCFC.lean 4 declarations
- TraceRankApproximation.lean 1 declarations
- TraceTransfer.lean 5 declarations
- TracelessRowContraction.lean 3 declarations
- TracialRank.lean 15 declarations
- TracialStateTopology.lean 14 declarations
- TracialStates.lean 4 declarations
- UniformTraceBounds.lean 5 declarations