OAI/Dynamics/StandardMap/TestObservations.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.StandardMapEntropy.unitClip line 11
2. lemma OAI.StandardMapEntropy.unitClip_mem line 12
3. lemma OAI.StandardMapEntropy.unitClip_eq line 14
4. lemma OAI.StandardMapEntropy.unitClip_lipschitz line 16
5. lemma OAI.StandardMapEntropy.bounded_square_lipschitz line 18
6. def OAI.StandardMapEntropy.testObservation line 22
7. lemma OAI.StandardMapEntropy.testObservation_lipschitz line 24
8. def OAI.StandardMapEntropy.testLeft line 61
9. def OAI.StandardMapEntropy.testRight line 62
10. lemma OAI.StandardMapEntropy.testObservation_eq_arrayTest line 63