# Fungrim entry: c03de4

Symbol: RiemannHypothesis $\operatorname{RH}$ Riemann hypothesis
Represents the truth value of the Riemann hypothesis, defined in 49704a.
Semantically, $\operatorname{RH} \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 Riemann hypothesis.
Definitions:
Fungrim symbol Notation Short description
RiemannHypothesis$\operatorname{RH}$ Riemann hypothesis
Source code for this entry:
Entry(ID("c03de4"),
SymbolDefinition(RiemannHypothesis, RiemannHypothesis, "Riemann hypothesis"),
Description("Represents the truth value of the Riemann hypothesis, defined in ", EntryReference("49704a"), "."),
Description("Semantically, ", Element(RiemannHypothesis, 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 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.

2021-03-15 19:12:00.328586 UTC