Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Quantifier-free definitions
cfix
Next ⟩
climits
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfix
Description:
Declare the syntax for the fixpoints of a class.
Ref
Expression
Assertion
cfix
class
𝖥𝗂𝗑
A