OAI/Analysis/Crouzeix/HolomorphicReflection.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Holomorphic Reflection.

  1. theorem OAI.CrouzeixHilbert.Conformal.holomorphic_reflection line 16