Assertion: finite sequence | /r/HasProperty | finite
Facets:
value: regardless of
type: OTHER
Source sentences:
text: A finite sequence is finite regardless of whether or not we know it to be finite, but a sequence can only be declared as finite if it has been proved, in which case the sequence is assigned keyword:fini in the OEIS.