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