`OAI/Dynamics/StandardMap/Bernoulli/`

189 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

ErgodicAverages.lean 23 declarations
ErgodicL1.lean 26 declarations
IntegerDynamics.lean 40 declarations
ReverseFano.lean 22 declarations
ReverseTailProjection.lean 32 declarations
RohlinSinaiFinite.lean 20 declarations
TailNameSaturation.lean 26 declarations