OAI/Dynamics/ConditionalShuffle/InstrumentBound.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Revealed.Instrument.kernels_dichotomy line 13
2. lemma OAI.Revealed.Instrument.block_kernel_dichotomy line 26
3. theorem OAI.Revealed.Instrument.distance_eight_le line 38