Metamath Proof Explorer


Syntax definition cmade

Description: Declare the symbol for the made by function.

Ref Expression
Assertion cmade Could not format assertion : No typesetting found for class _Made with typecode class