OAI/Dynamics/StandardMap/BridgeGrid.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.StandardMapEntropy.BridgeGrid line 12
2. lemma OAI.StandardMapEntropy.aligned_scale line 41
3. lemma OAI.StandardMapEntropy.aligned_scale_end line 47
4. lemma OAI.StandardMapEntropy.observation_nonneg_aligned line 53
5. lemma OAI.StandardMapEntropy.length_from_window line 61
6. lemma OAI.StandardMapEntropy.BridgeGrid.sample_bound line 62