Fungrim entry: dc593e

Symbol: GeneralizedRiemannHypothesis —

\operatorname{GRH}

— Generalized Riemann hypothesis

Represents the truth value of the generalized Riemann hypothesis for Dirichlet L-functions, defined in e2a734.

Semantically,

\operatorname{GRH} \in \left\{\operatorname{True}, \operatorname{False}\right\}

This symbol can be used in an assumption to express that a formula is valid conditionally on the truth of the generalized Riemann hypothesis.

Definitions:

Fungrim symbol	Notation	Short description
`GeneralizedRiemannHypothesis`	$\operatorname{GRH}$	Generalized Riemann hypothesis

Source code for this entry:

Entry(ID("dc593e"),
    SymbolDefinition(GeneralizedRiemannHypothesis, GeneralizedRiemannHypothesis, "Generalized Riemann hypothesis"),
    Description("Represents the truth value of the generalized Riemann hypothesis for Dirichlet L-functions, defined in ", EntryReference("e2a734"), "."),
    Description("Semantically, ", Element(GeneralizedRiemannHypothesis, Set(True_, False_)), "."),
    Description("This symbol can be used in an assumption to express that a formula is valid conditionally on the truth of the generalized Riemann hypothesis."))

Fungrim entry: dc593e

Topics using this entry