fact: Definition Picard:=(Cbind_slow (Build_UniformlyContinuousFunction Picard_uc)).
imports: CRtrans Qmetric ProductMetric CompleteProduct Unicode.Utf8 CPoly_Newton metric2.Classified Circle AbstractIntegration SimpleIntegration