OAI/Dynamics/StandardMap/Components/Definitions.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.StandardMapEntropy.normalizedArea line 10

    Also declared: ComparatorChallenges/StandardMapComponents.lean:76 (same declaration text).

  2. def OAI.StandardMapEntropy.IsBernoulli line 13

    Also declared: ComparatorChallenges/StandardMapComponents.lean:79 (same declaration text).

  3. def OAI.StandardMapEntropy.HyperbolicBernoulliComponent line 22

    Also declared: ComparatorChallenges/StandardMapComponents.lean:88 (same declaration text).

  4. def OAI.StandardMapEntropy.MainComponentsObligation line 36

    Also declared: ComparatorChallenges/StandardMapComponents.lean:102 (same declaration text).