Fungrim entry: ad5aff

\tau \in \left\{ 2 n : n \in \mathbb{Z} \right\} \;\implies\; \lambda(\tau) \in \left\{1\right\}

TeX:

\tau \in \left\{ 2 n : n \in \mathbb{Z} \right\} \;\implies\; \lambda(\tau) \in \left\{1\right\}

Definitions:

Fungrim symbol	Notation	Short description
`ZZ`	$\mathbb{Z}$	Integers
`ModularLambda`	$\lambda(\tau)$	Modular lambda function

Source code for this entry:

Entry(ID("ad5aff"),
    Formula(Implies(Element(tau, Set(Mul(2, n), ForElement(n, ZZ))), Element(ModularLambda(tau), Set(1)))),
    Variables(tau))

Topics using this entry

2021-03-15 19:12:00.328586 UTC