Assumptions:
TeX:
\lambda\!\left(\frac{\tau - 1}{\tau}\right) = \frac{\lambda(\tau) - 1}{\lambda(\tau)} \tau \in \mathbb{H}
Definitions:
Fungrim symbol | Notation | Short description |
---|---|---|
ModularLambda | Modular lambda function | |
HH | Upper complex half-plane |
Source code for this entry:
Entry(ID("3a7a0b"), Formula(Equal(ModularLambda(Div(Sub(tau, 1), tau)), Div(Sub(ModularLambda(tau), 1), ModularLambda(tau)))), Variables(tau), Assumptions(Element(tau, HH)))