OAI/Probability/SKGap/Localization/PlantedTilt.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGap.scaled_weight_eq line 13
2. lemma OAI.SKGap.scaled_spin_weight_measurable line 23
3. lemma OAI.SKGap.scaled_spin_mass_measurable line 28
4. lemma OAI.SKGap.partition_mass_normalized line 32
5. theorem OAI.SKGap.planted_joint_tilt line 44
6. theorem OAI.SKGap.planted_disorder_joint_tilt line 73