OAI/Probability/DilutedSpin/RegularOverlapGeometry.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DilutedSpinGlass.ReducedTopology.regularOverlapDomain line 14
2. lemma OAI.DilutedSpinGlass.ReducedTopology.admissible_of_all_lower line 18
3. lemma OAI.DilutedSpinGlass.ReducedTopology.regular_prepend line 25
4. lemma OAI.DilutedSpinGlass.ReducedTopology.regularOverlap_prepend line 57
5. lemma OAI.DilutedSpinGlass.ReducedTopology.overlap_interval_geometry line 70