OAI/Analysis/Crouzeix/DiskAutomorphism.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

Disk Automorphism.

  1. def OAI.CrouzeixHilbert.Conformal.diskShift line 15
  2. theorem OAI.CrouzeixHilbert.Conformal.diskShift_den_ne line 17
  3. theorem OAI.CrouzeixHilbert.Conformal.diskShift_norm_identity line 28
  4. theorem OAI.CrouzeixHilbert.Conformal.diskShift_into_disk line 35
  5. theorem OAI.CrouzeixHilbert.Conformal.diskShift_self line 43
  6. theorem OAI.CrouzeixHilbert.Conformal.diskShift_zero line 45
  7. theorem OAI.CrouzeixHilbert.Conformal.diskShift_eq_zero_iff line 47
  8. theorem OAI.CrouzeixHilbert.Conformal.diskShift_injOn line 51
  9. theorem OAI.CrouzeixHilbert.Conformal.hasDerivAt_diskShift line 65
  10. theorem OAI.CrouzeixHilbert.Conformal.norm_deriv_diskShift_zero line 74
  11. theorem OAI.CrouzeixHilbert.Conformal.norm_deriv_diskShift_self line 83