OAI/Dynamics/ConditionalShuffle/PhysicalInstrument.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Revealed.Physical.instrument line 11
2. lemma OAI.Revealed.Physical.physical_base line 17
3. lemma OAI.Revealed.Physical.physical_group line 32
4. def OAI.Revealed.Physical.fullPath line 45
5. lemma OAI.Revealed.Physical.fullPath_injective line 49
6. lemma OAI.Revealed.Physical.physical_path line 59
7. lemma OAI.Revealed.Physical.physical_group_frame line 85
8. lemma OAI.Revealed.Physical.physical_path_frame line 90
9. lemma OAI.Revealed.Physical.physical_kernel_dichotomy line 94