Metamath Proof Explorer

Syntax definition csupp

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

Ref Expression
Assertion csupp 
class supp