Metamath Proof Explorer


Syntax definition cmade

Description: Declare the symbol for the made by function.

Ref Expression
Assertion cmade class M