Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Sequences defined by strong recursion
csseq
Next ⟩
df-sseq
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csseq
Description:
Sequences defined by strong recursion.
Ref
Expression
Assertion
csseq
class seqstr