fixed concept name

This commit is contained in:
Michael Hemmer 2009-03-30 08:32:49 +00:00
parent e3f5c6ee64
commit d4491025b2
1 changed files with 1 additions and 1 deletions

View File

@ -22,7 +22,7 @@ and functors :\\
Remark:\\
If a number type is a model of both \ccc{IntegralDomainWithoutDivision} and
\ccc{RealComparable}, it follows that the ring represented by such a number type
\ccc{RealEmbeddable}, it follows that the ring represented by such a number type
is a sub-ring of the real numbers and hence has characteristic zero.
%( see http://mathworld.wolfram.com/CharacteristicField.html ).