Database
BASIC STRUCTURES
Extensible structures
Slot definitions
chom
Next ⟩
cco
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
chom
Description:
Extend class notation with the hom-set structure.
Ref
Expression
Assertion
chom
class
Hom