OAI/Probability/GaussianPropeller/Model.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.GaussianPropeller.Space line 10

   Also declared: ComparatorChallenges/GaussianPropeller.lean:10 (same declaration text).

2. def OAI.GaussianPropeller.gaussian line 12

   Also declared: ComparatorChallenges/GaussianPropeller.lean:12 (same declaration text).

3. def OAI.GaussianPropeller.IsPartition line 14

   Also declared: ComparatorChallenges/GaussianPropeller.lean:14 (same declaration text).

4. def OAI.GaussianPropeller.centroid line 17

   Also declared: ComparatorChallenges/GaussianPropeller.lean:17 (same declaration text).

5. def OAI.GaussianPropeller.value line 20

   Also declared: ComparatorChallenges/GaussianPropeller.lean:20 (same declaration text).

6. def OAI.GaussianPropeller.coord line 23

   Also declared: ComparatorChallenges/GaussianPropeller.lean:23 (same declaration text).

7. def OAI.GaussianPropeller.propeller line 26

   Also declared: ComparatorChallenges/GaussianPropeller.lean:26 (same declaration text).

8. def OAI.GaussianPropeller.AllPartitions line 32

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