OAI/Probability/ThreeStateClauses/Basic.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Basic.

  1. abbrev OAI.ThreeState.TreeClauses.Spin line 15

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:11 (same declaration text).

  2. def OAI.ThreeState.TreeClauses.Admissible line 17

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:13 (same declaration text).

  3. def OAI.ThreeState.TreeClauses.channelWeight line 19

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:15 (same declaration text).

  4. lemma OAI.ThreeState.TreeClauses.channelWeight_nonneg line 22

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:18 (same declaration text).

  5. lemma OAI.ThreeState.TreeClauses.channelWeight_sum line 27

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:23 (same declaration text).

  6. def OAI.ThreeState.TreeClauses.channel line 30

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:26 (same declaration text).

  7. def OAI.ThreeState.TreeClauses.Observation line 36

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:32 (same declaration text).

  8. def OAI.ThreeState.TreeClauses.iidList line 40

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:36 (same declaration text).

  9. def OAI.ThreeState.TreeClauses.observationLaw line 44

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:40 (same declaration text).

  10. def OAI.ThreeState.TreeClauses.jointWeight line 51

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:47 (same declaration text).

  11. def OAI.ThreeState.TreeClauses.marginalWeight line 55

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:51 (same declaration text).

  12. def OAI.ThreeState.TreeClauses.posterior line 59

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:55 (same declaration text).

  13. def OAI.ThreeState.TreeClauses.advantage line 63

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:59 (same declaration text).

  14. def OAI.ThreeState.TreeClauses.Reconstructs line 67

    Also declared: ComparatorChallenges/ThreeStateTreeClauses.lean:63 (same declaration text).

  15. def OAI.ThreeState.TreeClauses.ThresholdAt line 70
  16. def OAI.ThreeState.TreeClauses.ExactThreshold line 74