Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Fixed points
cfxp
Next ⟩
df-fxp
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfxp
Description:
Extend class notation with the fixed points operation.
Ref
Expression
Assertion
cfxp
Could not format assertion : No typesetting found for class FixPts with typecode class