fact: Record bisect_interval : Type := {interval_lft : IR; interval_rht : IR; interval_lft_rht : interval_lft [<] interval_rht; interval_f_lft : f interval_lft [<=] [0]; interval_f_rht : [0] [<=] f interval_rht}.
imports: CoRN.reals.CPoly_Contin