OAI/Dynamics/ConditionalShuffle/PhysicalOne.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Revealed.Split.trans_free_swap line 10
2. lemma OAI.Thorp.Conditional.step_same_at_iff line 32
3. lemma OAI.Thorp.Conditional.outside_step_injective line 46
4. lemma OAI.Thorp.Conditional.pair_free_labels line 60
5. lemma OAI.Thorp.Conditional.free_pair_toggle line 82
6. lemma OAI.Thorp.Conditional.physical_step_signDichotomy line 95