Metamath Proof Explorer


Syntax definition csupp

Description: Extend class definition to include the support of functions.

Ref Expression
Assertion csupp class supp