OAI/Dynamics/
12477 declarations, 0 contain sorry, 0 declared as axioms; 664 files
Folders
- ConditionalShuffle/ 63 files, 663 declarations
- EntropyCounterexample/ 184 files, 1722 declarations
- MultipleMixing/ 13 files, 1899 declarations
- SmoothObstruction/ 53 files, 1618 declarations
- StandardMap/ 274 files, 3856 declarations
- ThreeTorus/ 37 files, 1831 declarations
- TriangleBilliards/ 39 files, 888 declarations
Files
- EntropyCounterexample.lean 264 imports, no declarations