Characteristic predicate ArithmeticWithExtremeValues::ExtremeValueField::ExtremeValueField

ExtremeValueField()