This commit is contained in:
Andreas Fabri 2014-08-26 16:25:29 +02:00
parent 6f24960677
commit 4d4859410e
1 changed files with 1 additions and 1 deletions

View File

@ -38,7 +38,7 @@ If a number type is a model of both `IntegralDomainWithoutDivision` and
`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.
\cgalRefines `Equality` Comparable
\cgalRefines `EqualityComparable`
\cgalRefines `LessThanComparable`
\sa `RealEmbeddableTraits`