Assertion: kernel's function | /r/HasProperty | r → r
Facets:
Source sentences:
text: Let C∞(R) be the vector space of all infinitely differentiable functions R → R, and let D: