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."))

Topics using this entry

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

2020-08-27 09:56:25.682319 UTC