Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Founded Partial Recursion
cfrecs
Next ⟩
df-frecs
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfrecs
Description:
Declare the syntax for the founded recursion generator. See
df-frecs
.
Ref
Expression
Assertion
cfrecs
class
frecs
⁡
R
A
F