Assertion: algebra's v | /r/HasProperty | → w
Facets:
Source sentences:
text: f : V → W {