Characteristic predicate ArithmeticWithExtremeValues::ExtremeSource::ExtremeSource

ExtremeSource()