OAI/Analysis/SymmetricDomains/BishopDiscRadialExpansion.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Release061.eventually_isUnit_partial line 24
2. theorem OAI.Release061.Wiener.bishopNormal_transverse line 43
3. lemma OAI.Release061.Wiener.bishopDisc_constant_branch line 65
4. lemma OAI.Release061.Wiener.radial_mem_closedDisc line 92
5. lemma OAI.Release061.Wiener.bishopDisc_radial_expansion line 99