OAI/MeasureTheory/SelfSimilar/Interpolation.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.EntropyRateDimension.Interpolation.tendsto_div_of_bounded_gapsline 22
OAI/MeasureTheory/SelfSimilar/Interpolation.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.EntropyRateDimension.Interpolation.tendsto_div_of_bounded_gaps line 22