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