Fungrim home page

Fungrim entry: 813d25

τ∈H    ⟹    λ(τ)∈C∖{0,1}\tau \in \mathbb{H} \;\implies\; \lambda(\tau) \in \mathbb{C} \setminus \left\{0, 1\right\}
TeX:
\tau \in \mathbb{H} \;\implies\; \lambda(\tau) \in \mathbb{C} \setminus \left\{0, 1\right\}
Definitions:
Fungrim symbol Notation Short description
HHH\mathbb{H} Upper complex half-plane
ModularLambdaλ(τ)\lambda(\tau) Modular lambda function
CCC\mathbb{C} Complex numbers
Source code for this entry:
Entry(ID("813d25"),
    Formula(Implies(Element(tau, HH), Element(ModularLambda(tau), SetMinus(CC, Set(0, 1))))),
    Variables(tau))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC