OAI/Dynamics/ConditionalShuffle/HybridRaw.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Thorp.Conditional.Hybrid.publicHistory line 9
2. def OAI.Thorp.Conditional.Hybrid.raw line 12
3. lemma OAI.Thorp.Conditional.Hybrid.publicHistory_snoc line 20
4. lemma OAI.Thorp.Conditional.Hybrid.raw_snoc line 27
5. lemma OAI.Thorp.Conditional.Hybrid.raw_free line 33
6. lemma OAI.Thorp.Conditional.Hybrid.raw_energy_le line 49
7. lemma OAI.Thorp.Conditional.Hybrid.permute_test line 58
8. theorem OAI.Thorp.Conditional.Hybrid.flow_joint line 64