Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Quantifier-free definitions
cimage
Next ⟩
ccart
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cimage
Description:
Declare the syntax for the image functor.
Ref
Expression
Assertion
cimage
class
Image
𝐴