isVectorSpaceOver
P158979
predicate
Indicates that one mathematical structure forms a vector space with respect to another structure serving as its field of scalars.