Assertion: sequence's number | /r/HasProperty | proved irrational
Facets:
value: by richard andré-jeannin
type: OTHER
Source sentences:
text: is known, but the number has been proved irrational by Richard André-Jeannin.