Examples for CMod and CVec
Examples for CMod and CVec

The real vector spaces (see ~ recvs ) and the rational vector spaces (see ~ qcvs )
belong to ` CVec `.  The integers are a complex left module, but not a complex vector
space (see ~ zclmncvs ), because the ring ZZ is not a division subring of CC, see ~ zringndrg .

metamath/set.mm,metamath/set.mm,metamath/set.mm