OAI/Computability/PerfectCompleteness/Repetition/
376 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- AmplifiedCleanRateLemmas.lean 2 declarations
- CleanConditioning.lean 13 declarations
- CleanCountingLemmas.lean 47 declarations
- CleanEndpointSlots.lean 12 declarations
- CleanNativeReplay.lean 17 declarations
- CleanPhysicalCanonicalQuery.lean 11 declarations
- CleanPhysicalHighAverage.lean 16 declarations
- CleanPhysicalHighEvent.lean 8 declarations
- CleanPhysicalProjectedMeeting.lean 12 declarations
- CleanPhysicalRawChildren.lean 5 declarations
- CleanPhysicalReplay.lean 38 declarations
- CleanPhysicalReplayLaw.lean 3 declarations
- CleanRecordChildBlocks.lean 32 declarations
- CleanRecordObservation.lean 9 declarations
- CleanTreeFactors.lean 17 declarations
- CutChildCleanLawLemmas.lean 72 declarations
- FixedCleanRate.lean 4 declarations
- RepetitionRateLemmas.lean 23 declarations
- SourceAmplification.lean 11 declarations
- StoppedCleanCutEquality.lean 6 declarations
- StoppedCleanGeometry.lean 18 declarations