Database
BASIC CATEGORY THEORY
Categories
Categories
chomf
Next ⟩
ccomf
Metamath Proof Explorer
Unicode
Structured
Syntax definition
chomf
Description:
Extend class notation to include functionalized Hom-set extractor.
Ref
Expression
Assertion
chomf
class Homf