Assertion: algebra's v | /r/HasProperty | free k-module
Facets:
value: with a basis b
type: OTHER
Source sentences:
text: If V is a K-vector space or a free K-module, with a basis B, let K[B] be the polynomial ring that has the elements of B as indeterminates.