OAI/Dynamics/ConditionalShuffle/InstrumentMap.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Revealed.Instrument.Data.ext line 9
2. lemma OAI.Revealed.Instrument.map_base line 25
3. lemma OAI.Revealed.Instrument.map_observed line 37
4. lemma OAI.Revealed.Instrument.map_groupRun line 45
5. lemma OAI.Revealed.Instrument.map_distance line 52