OAI/Analysis/SymmetricDomains/Centered.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Release061.NashPatch.recenter line 38
2. lemma OAI.Release061.NashPatch.recenter_zero line 65
3. lemma OAI.Release061.NashPatch.recenter_image line 70
4. def OAI.Release061.NashPatch.centered line 83
5. lemma OAI.Release061.NashPatch.centered_zero line 86
6. lemma OAI.Release061.NashPatch.centered_image line 89
7. lemma OAI.Release061.HasFiniteNashCover.centered line 93