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