OAI/MeasureTheory/SelfSimilar/Model.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.EntropyRateDimension.System line 13

    Also declared: ComparatorChallenges/SelfSimilar.lean:12 (same declaration text), ComparatorChallenges/SelfSimilarCorollaries.lean:14 (same declaration text).

  2. def OAI.EntropyRateDimension.System.affine line 25

    Also declared: ComparatorChallenges/SelfSimilar.lean:25 (same declaration text), ComparatorChallenges/SelfSimilarCorollaries.lean:26 (same declaration text).

  3. def OAI.EntropyRateDimension.System.wordAffine line 27

    Also declared: ComparatorChallenges/SelfSimilar.lean:27 (same declaration text), ComparatorChallenges/SelfSimilarCorollaries.lean:28 (same declaration text).

  4. def OAI.EntropyRateDimension.System.completeMap line 32

    Also declared: ComparatorChallenges/SelfSimilar.lean:32 (same declaration text).

  5. def OAI.EntropyRateDimension.System.wordWeight line 35

    Also declared: ComparatorChallenges/SelfSimilar.lean:35 (same declaration text).

  6. def OAI.EntropyRateDimension.System.mapSupport line 38

    Also declared: ComparatorChallenges/SelfSimilar.lean:38 (same declaration text).

  7. def OAI.EntropyRateDimension.System.mapMass line 42

    Also declared: ComparatorChallenges/SelfSimilar.lean:42 (same declaration text).

  8. def OAI.EntropyRateDimension.System.walkEntropy line 47

    Also declared: ComparatorChallenges/SelfSimilar.lean:47 (same declaration text).

  9. def OAI.EntropyRateDimension.System.entropyRate line 50

    Also declared: ComparatorChallenges/SelfSimilar.lean:50 (same declaration text).

  10. def OAI.EntropyRateDimension.System.lyapunov line 53

    Also declared: ComparatorChallenges/SelfSimilar.lean:53 (same declaration text).

  11. def OAI.EntropyRateDimension.System.SelfSimilar line 56

    Also declared: ComparatorChallenges/SelfSimilar.lean:56 (same declaration text), ComparatorChallenges/SelfSimilarCorollaries.lean:33 (same declaration text).

  12. def OAI.EntropyRateDimension.lowerHausdorffDimension line 59

    Distinct definitions of this name: ComparatorChallenges/SelfSimilar.lean:61 (same statement text; different proof or body), ComparatorChallenges/SelfSimilarCorollaries.lean:38 (same declaration text). Qualify references as OAI.EntropyRateDimension.lowerHausdorffDimension@path.