Metamath Proof Explorer


Syntax definition citco

Description: Extend the definition of a class to include iterated functions.

Ref Expression
Assertion citco Could not format assertion : No typesetting found for class IterComp with typecode class