fact: Definition invxln_interval beta prec ui := if F'.lt' c1 (I.lower ui) then BI.f_neg_int prec ui (S beta) else I.nai.
imports: Coq(Reals List ZArith Psatz) Flocq(Zaux) Coquelicot(Coquelicot) Stdlib Coquelicot Xreal Basic Sig Interval Integral Eval Bertrand Tree Prog Reify Refine Interval_helper