Fungrim entry: dcc8b1

\left\{ j\!\left(\tau\right) : \tau \in \mathcal{F} \right\} = \mathbb{C}

TeX:

\left\{ j\!\left(\tau\right) : \tau \in \mathcal{F} \right\} = \mathbb{C}

Definitions:

Fungrim symbol	Notation	Short description
`SetBuilder`	$\left\{ f\!\left(x\right) : P\!\left(x\right) \right\}$	Set comprehension
`ModularJ`	$j\!\left(\tau\right)$	Modular j-invariant
`ModularGroupFundamentalDomain`	$\mathcal{F}$	Fundamental domain for action of the modular group
`CC`	$\mathbb{C}$	Complex numbers

Source code for this entry:

Entry(ID("dcc8b1"),
    Formula(Equal(SetBuilder(ModularJ(tau), tau, Element(tau, ModularGroupFundamentalDomain)), CC)))

Topics using this entry

2019-06-18 07:49:59.356594 UTC