Assertion: function | /r/HasProperty | x → y → z
Facets:
Source sentences:
text: However, functions in curried form f : X → ( Y → Z ) {\displaystyle