Assumptions:
TeX:
j\!\left(-\frac{1}{\tau}\right) = j(\tau)
\tau \in \mathbb{H}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| ModularJ | Modular j-invariant | |
| HH | Upper complex half-plane |
Source code for this entry:
Entry(ID("42a909"),
Formula(Equal(ModularJ(Neg(Div(1, tau))), ModularJ(tau))),
Variables(tau),
Assumptions(Element(tau, HH)))