OAI/MeasureTheory/SelfSimilar/RadialLimit.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.EntropyRateDimension.Coding.slope_log_succ line 28
2. theorem OAI.EntropyRateDimension.Coding.ratio_log_pos line 33
3. theorem OAI.EntropyRateDimension.Coding.radial_limit_of_prefix line 36
4. theorem OAI.EntropyRateDimension.Coding.ae_radial_sequence line 73