OAI/Dynamics/StandardMap/ArrayTopology.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.StandardMapEntropy.(instance at line 10) line 10
2. instance OAI.StandardMapEntropy.(instance at line 13) line 13
3. instance OAI.StandardMapEntropy.(instance at line 16) line 16
4. instance OAI.StandardMapEntropy.(instance at line 17) line 17
5. instance OAI.StandardMapEntropy.(instance at line 18) line 18