Metamath Proof Explorer


Syntax definition cfsupp

Description: Extend class definition to include the predicate to be a finitely supported function.

Ref Expression
Assertion cfsupp
class finSupp