OAI/Computability/UniqueGames/Soundness/
531 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- ActualCanonicalPullbackLemmas.lean 55 declarations
- ActualPointAnswers.lean 10 declarations
- ConditionalLocality.lean 18 declarations
- ConditionalReindex.lean 3 declarations
- ConditionalSimulationLemmas.lean 15 declarations
- ExpectationComparisonLemmas.lean 37 declarations
- LinearMapDensityLemmas.lean 85 declarations
- PartnerLinearLemmas.lean 60 declarations
- PartnerMapCoordinates.lean 25 declarations
- RawPrivateTable.lean 16 declarations
- RawTargetLawLemmas.lean 39 declarations
- SubsetIntersectionLemmas.lean 85 declarations
- ZeroInformationLemmas.lean 83 declarations