diff --git a/docs/algebras.dot.m4 b/docs/algebras.dot.m4 index 25ca4047..612b9f33 100644 --- a/docs/algebras.dot.m4 +++ b/docs/algebras.dot.m4 @@ -206,7 +206,7 @@ DivisibleGroup} VectorSpace[ margin=2 label=< -
VectorSpace
* +-

≈ ≉ +x -x inverse x²u 1 0
Vector3Space ℝₚ³
ℚ³
+VectorSpace * +-
⇆⋅
⇆ ≈ ≉ +x -x inverse x²u 1 0Vector3Space ℝₚ³Vector2Space ℝₚ³ℚ³ > ] VectorSpace -> {AbelianRing}