Metamath Proof Explorer


Syntax definition csseq

Description: Sequences defined by strong recursion.

Ref Expression
Assertion csseq class seqstr