diff options
Diffstat (limited to 'src/algebra/vector.spad.pamphlet')
| -rw-r--r-- | src/algebra/vector.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet index ea83ba12..7d143b7a 100644 --- a/src/algebra/vector.spad.pamphlet +++ b/src/algebra/vector.spad.pamphlet @@ -238,7 +238,6 @@ DirectProductCategory(dim:NonNegativeInteger, R:Type): Category == if R has Monoid then LinearSet R if R has Finite then Finite if R has CommutativeRing then Module R - if R has unitsKnown then unitsKnown if R has OrderedSet then OrderedSet if R has OrderedAbelianMonoidSup then OrderedAbelianMonoidSup if R has Field then VectorSpace R |