Seeking a formal definition of a complex hyperbolic space

62 Views Asked by At

I'm trying to find a formal definition of a complex hyperbolic space that is $CH^n$.

Can anyone help me please? I tried looking online already but no formal direct definition.