OAI/Dynamics/StandardMap/BridgeSamples.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StandardMapEntropy.arrayObservation line 11
2. lemma OAI.StandardMapEntropy.continuous_arrayObservation line 13
3. lemma OAI.StandardMapEntropy.arrayObservation_sample line 16
4. lemma OAI.StandardMapEntropy.array_fast_sample line 25
5. lemma OAI.StandardMapEntropy.integral_observable_sample line 44
6. lemma OAI.StandardMapEntropy.integral_supported_bound line 52