OAI/Probability/CriticalZ3/Model.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CriticalZ3.Vertex line 9

   Also declared: ComparatorChallenges/CriticalZ3.lean:9 (same declaration text).

2. abbrev OAI.CriticalZ3.Bond line 10

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

3. abbrev OAI.CriticalZ3.BondConfig line 11

   Also declared: ComparatorChallenges/CriticalZ3.lean:11 (same declaration text).

4. abbrev OAI.CriticalZ3.SiteConfig line 12

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

5. def OAI.CriticalZ3.step line 14

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

6. def OAI.CriticalZ3.NearestNeighbor line 16

   Also declared: ComparatorChallenges/CriticalZ3.lean:16 (same declaration text).

7. def OAI.CriticalZ3.BondOpen line 19

   Also declared: ComparatorChallenges/CriticalZ3.lean:19 (same declaration text).

8. def OAI.CriticalZ3.SiteOpen line 23

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

9. def OAI.CriticalZ3.BondConnected line 26

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

10. def OAI.CriticalZ3.SiteConnected line 29

    Also declared: ComparatorChallenges/CriticalZ3.lean:29 (same declaration text).

11. def OAI.CriticalZ3.bondCluster line 32

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

12. def OAI.CriticalZ3.siteCluster line 35

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

13. def OAI.CriticalZ3.bondInfiniteAt line 38

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

14. def OAI.CriticalZ3.siteInfiniteAt line 39

    Also declared: ComparatorChallenges/CriticalZ3.lean:39 (same declaration text).

15. def OAI.CriticalZ3.parameter line 41

    Also declared: ComparatorChallenges/CriticalZ3.lean:41 (same declaration text).

16. def OAI.CriticalZ3.bondLaw line 44

    Also declared: ComparatorChallenges/CriticalZ3.lean:44 (same declaration text).

17. def OAI.CriticalZ3.siteLaw line 47

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

18. def OAI.CriticalZ3.bondCritical line 50

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

19. def OAI.CriticalZ3.siteCritical line 53

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