OAI/Geometry/TranslativeCovering/DiagramActivity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.DiagramActivity.prod_exp_log line 34
2. lemma OAI.DiagramActivity.activity_lower line 39
3. lemma OAI.DiagramActivity.self_normalized_weight_le line 54
4. lemma OAI.DiagramActivity.self_activity line 67
5. lemma OAI.DiagramActivity.activity_upper line 96
6. lemma OAI.DiagramActivity.cross_zero line 99
7. lemma OAI.DiagramActivity.self_activity_normalized line 111