Metamath Proof Explorer

Syntax definition cfunpart

Description: Declare the syntax for the functional part functor.

Ref Expression
Assertion cfunpart classπ–₯π—Žπ—‡π–―π–Ίπ—‹π—F