OAI/Probability/LatticeSurface/Dynamics/CompactControls.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CompactControls.ci line 16
2. lemma OAI.CompactControls.support_prod line 22
3. lemma OAI.CompactControls.support_map line 33
4. def OAI.CompactControls.step line 42
5. lemma OAI.CompactControls.step_integral line 48
6. lemma OAI.CompactControls.integral_fst line 54
7. theorem OAI.CompactControls.exists_zero line 61